Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
The weak instance model is a framework to consider the relations in a database as a whole, regardless of the way attributes are grouped in the individual relations. Queries and upd...
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...