Mfdbs 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, Gdr, January 19-23, 1987. Proceedings (Paperback, 1988)

Information measurement in relational databases.- On hierarchical normal forms.- Data manipulation languages for the universal relation view DURST.- The equivalence problem for relational database schemes.- On global context dependencies and their properties.- Functional dependency implications, inducing horizontal decompositions.- Extremal combinatorial problems of database models.- A formal model for distributed information systems.- A theory of reference graphs in relational databases.- Modal logic and incomplete information.- Designing alpha-acyclic BCNF-database schemes.- Design tools for large relational database systems.- Searching and retrieval in databases by trees.- Database models, where they are going now?.- Open problems in database theory.