TY - BOOK ID - 1121361 TI - MFDBS 87 : 1st Symposium on mathematical fundamentals of database systems : Dresden, GDR, January 19-23, 1987 : proceedings AU - Biskup, Joachim AU - Symposium on mathematical fundamentals of database systems (01st : 1987 : Dresden) PY - 1988 VL - 305 SN - 3540191216 0387191216 354039124X 9783540191216 PB - Berlin: Springer, DB - UniCat KW - Information systems KW - 681.3*H2 KW - Database management KW - Relational databases KW - -681.3*F41 KW - 681.3*G21 KW - Relational data bases KW - Databases KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Database management: security; integrity; protection--See also {?681.5*E5} KW - Mathematical models KW - -Congresses. KW - Congresses KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations KW - Congresses. KW - 681.3*G21 Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} KW - 681.3*F41 KW - Mathematical models&delete& KW - Information theory. KW - Data structures (Computer scienc. KW - Computer science. KW - Theory of Computation. KW - Data Structures and Information Theory. KW - Models and Principles. KW - Informatics KW - Science KW - Communication theory KW - Communication KW - Cybernetics KW - Databases. KW - Data Base KW - Relational Model KW - Model KW - Lncs UR - https://www.unicat.be/uniCat?func=search&query=sysid:1121361 AB - This volume contains the 13 best of the 18 papers presented at the first MFDBS conference held in Dresden, GDR, January 19-23, 1987. A short summary of the two panel discussions is also included. The volume is intended to be a reflection of the current state of knowledge and a guide to further development in database theory. The main topics covered are: theoretical fundaments of the relational data model (dependency theory, design theory, null values, query processing, complexity theory), and of its extensions (graphical representations, NF2-models), conceptual modelling of distributed database management systems and the relationship between logic and databases. ER -