TY - BOOK ID - 1133155 TI - ICDT'88. 2nd international conference on Database theory, Bruges, Belgium, August 31 - September 2, 1988 AU - Gyssens, M. AU - PAREDAENS, Jan AU - VAN GUCHT, D. PY - 1988 VL - 326 SN - 3540501711 0387501711 354045943X 9783540501718 PB - Berlin : Springer-Verlag, DB - UniCat KW - Information systems KW - Bases de données KW - Gestion KW - 681.3*H2 KW - 681.3*E2 KW - 681.3*F41 KW - 681.3*H20 KW - 681.3*I24 KW - Database management: security; integrity; protection--See also {?681.5*E5} KW - Data storage representations: composite structures; contiguous representations; hash-table representations; linked representations; primitive data items 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 - Computerwetenschap--?*H20 KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) 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*E2 Data storage representations: composite structures; contiguous representations; hash-table representations; linked representations; primitive data items KW - 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} KW - Data structures (Computer scienc. KW - Computer science. KW - Database management. KW - Data Structures and Information Theory. KW - Computer Science, general. KW - Database Management. KW - Models and Principles. 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 - Informatics KW - Science KW - Databases. KW - Bases de données - Gestion - Congres UR - https://www.unicat.be/uniCat?func=search&query=sysid:1133155 AB - This volume is the proceedings of the second International Conference on Database Theory (ICDT) held in Bruges, Belgium, August 31 - September 2, 1988. ICDT intends to provide a European forum for the international research community working on theoretical issues related to database and knowledge base systems. The proceedings of this conference contain all invited and accepted papers, which represent the latest results obtained in ongoing research in database theory worldwide. Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases, object-oriented databases, deductive databases, conceptual models, analysis and design of data structures, query languages, concurrency control and updates and transactions. ER -