MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems Visegrád, Hungary, June 26–30, 1989 Proceedings

This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory. Selective refutation of integrity constraints in deductive databases....Pages 1-11 Approaches to updates over weak instances....Pages 12-23 Index selection in relational databases....Pages 24-36 Towards a schema design methodology for deductive databases....Pages 37-52 Shared abstract data types: An algebraic methodology for their specification....Pages 53-67 Specifying closed world assumptions for logic databases....Pages 68-84 Interaction of authorities and acquaintances in the DORIS privacy model of data....Pages 85-99 Logical rewritings for improving the evaluation of quantified queries....Pages 100-116 Mathematical foundations of semantic networks theory....Pages 117-135 Functional dependencies and the semilattice of closed classes....Pages 136-147 An extended view on data base conceptual design....Pages 148-171 Modeling planning problems....Pages 172-186 On the interaction between transitive closure and functional dependencies....Pages 187-206 A strategy for executing complex queries....Pages 207-221 Multiple task selection protocol in a distributed problem solving network....Pages 222-236 Equivalent schemes in semantic, nested relational, and relational database models....Pages 237-253 Covers for functional independencies....Pages 254-268 Restructuring and dependencies in databases....Pages 269-284 RTL a Relation and Table Language for statistical databases....Pages 285-300 Integration of functions in the fixpoint semantics of rule-based systems....Pages 301-316 Locking policies and predeclared transactions....Pages 317-336 Means for management of relational fuzzy data bases — Way to merging of systems of data bases and knowledge bases....Pages 337-346 A specification language for static, dynamic and deontic integrity constraints....Pages 347-366 Blocks and projections' synthesis in relational databases....Pages 367-381 The higher-order entity-relationship model and (DB)....Pages 382-397 Goal-oriented concurrency control....Pages 398-414 Transitive closure and the LOGA + -strategy for its efficient evaluation....Pages 415-428 "This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory."--Publisher's website Annotation This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory