TY - BOOK ID - 2669587 TI - Semantics in Databases AU - Thalheim, Bernhard. AU - Libkin, Leonid. PY - 1998 VL - 1358 SN - 3540641998 3540697004 9783540641995 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Banques de données--Gestion KW - Conception de bases de données KW - Data base design KW - Data base management KW - Database design KW - Database management KW - Database-ontwerp KW - Databasebeheer KW - Databases--Beheer KW - Gegevensbanken--Beheer KW - Gegevensbestanden--Beheer KW - Generalized data management systems KW - Systems [Data base management ] KW - Systems [Generalized data base management ] KW - Bases de données KW - Gestion KW - Conception KW - Computer Science KW - Engineering & Applied Sciences KW - Database design. KW - Database management. KW - Bases de données KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Computer science. KW - Data structures (Computer science). KW - Computer logic. KW - Information storage and retrieval. KW - Computer Science. KW - Data Structures, Cryptology and Information Theory. KW - Database Management. KW - Logics and Meanings of Programs. KW - Information Storage and Retrieval. KW - Electronic data processing KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - File organization (Computer science) KW - Abstract data types (Computer science) KW - Informatics KW - Science KW - Data structures (Computer scienc. KW - Logic design. KW - Information storage and retrieva. KW - Data Structures and Information Theory. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Information storage and retrieval systems. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2669587 AB - This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more traditional aspects like dealing with integrity constraints and conceptual modeling as well as new areas of databases; object-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics, e.g. the evolving algebra semantics. ER -