Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Information systems --- 681.3*H2 --- Database management --- Relational databases --- -681.3*F41 --- 681.3*G21 --- Relational data bases --- Databases --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Database management: security; integrity; protection--See also {?681.5*E5} --- Mathematical models --- -Congresses. --- Congresses --- 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} --- Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- Congresses. --- 681.3*G21 Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- 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} --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- 681.3*F41 --- Mathematical models&delete& --- Information theory. --- Data structures (Computer scienc. --- Computer science. --- Theory of Computation. --- Data Structures and Information Theory. --- Models and Principles. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Databases. --- Data Base --- Relational Model --- Model --- Lncs