Logics for Databases and Information Systems

Keyphrases

Publications

1998

Anthony J. Bonner, Michael Kifer
A Logic for Programming Database Transactions. Logics for Databases and Information Systems (1998)
Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems (1998)
Jan Chomicki, David Toman
Temporal Logic in Information Systems. Logics for Databases and Information Systems (1998)
Jan Chomicki, Gunter Saake
Introduction to Logics for Databases and Information Systems. Logics for Databases and Information Systems (1998)
Georg Lausen, Bertram Ludäscher, Wolfgang May
On Logical Foundations of Active Databases. Logics for Databases and Information Systems (1998)
Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas
Evolving Logical Specification in Information Systems. Logics for Databases and Information Systems (1998)
Parke Godfrey, John Grant, Jarek Gryz, Jack Minker
Integrity Constraints: Semantics and Applications. Logics for Databases and Information Systems (1998)
Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems (1998)
Ron van der Meyden
Logical Approaches to Incomplete Information: A Survey. Logics for Databases and Information Systems (1998)
Stefan Conrad
A Logic Primer. Logics for Databases and Information Systems (1998)
Laks V. S. Lakshmanan, Krishnaprasad Thirunarayan
Declarative Frameworks for Inheritance. Logics for Databases and Information Systems (1998)
John-Jules Ch. Meyer, Roel J. Wieringa, Frank Dignum
The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems (1998)