MFDBS 89

Selective refutation of integrity constraints in deductive databases.- Approaches to updates over weak instances.- Index selection in relational databases.- Towards a schema design methodology for deductive databases.- Shared abstract data types: An algebraic methodology for their specification.- Specifying closed world assumptions for logic databases.- Interaction of authorities and acquaintances in the DORIS privacy model of data.- Logical rewritings for improving the evaluation of quantified queries.- Mathematical foundations of semantic networks theory.- Functional dependencies and the semilattice of closed classes.- An extended view on data base conceptual design.- Modeling planning problems.- On the interaction between transitive closure and functional dependencies.- A strategy for executing complex queries.- Multiple task selection protocol in a distributed problem solving network.- Equivalent schemes in semantic, nested relational, and relational database models.- Covers for functional independencies.- Restructuring and dependencies in databases.- RTL a Relation and Table Language for statistical databases.- Integration of functions in the fixpoint semantics of rule-based systems.- Locking policies and predeclared transactions.- Means for management of relational fuzzy data bases — Way to merging of systems of data bases and knowledge bases.- A specification language for static, dynamic and deontic integrity constraints.- Blocks and projections' synthesis in relational databases.- The higher-order entity-relationship model and (DB).- Goal-oriented concurrency control.- Transitive closure and the LOGA+-strategy for its efficient evaluation.