MFDBS 89. 2nd symposium on mathematical fundamentals of database systems, Visegrad, Hungary, June 26-30, 1989. Proceedings (Q1801228)

The articles of this volume will not be indexed individually. The symposium dealt with hot topics of current database theory which can be characterized as the following ones: design theory, dependency theory, extensions of the relational and entity-relationship models, extended database semantics (modelling complex objects), databases and logic, transaction models, concurrency, data distribution, data access, integrity, security. The proceedings contain 27 papers which can be roughly divided into the following sections: Logical Foundamentals and Databases (deductive databases, resolution), Mathematical Foundamentals of Databases and Semantic Networks (abstract data types, algebraic specification, algebraic approach to defining data structures), Database Design (functional dependences and independences, transitive closure, semantic and nested relational models), Theory of Queries and Updates (improving the evaluation, executing complex objects, weak instances), Transaction Management (integrity constraints, locking policies, concurrency control.