default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Seminar Logics for Databases and Information Systems 1998
- Jan Chomicki, Gunter Saake:
Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995). Kluwer 1998 - Jan Chomicki, Gunter Saake:
Introduction to Logics for Databases and Information Systems. 1-4 - Stefan Conrad:
A Logic Primer. 5-30 - Jan Chomicki, David Toman:
Temporal Logic in Information Systems. 31-70 - John-Jules Ch. Meyer, Roel J. Wieringa, Frank Dignum:
The Role of Deontic Logic in the Specification of Information Systems. 71-115 - Anthony J. Bonner, Michael Kifer:
A Logic for Programming Database Transactions. 117-166 - Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker:
Logics for Specifying Concurrent Information Systems. 167-198 - Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas:
Evolving Logical Specification in Information Systems. 199-228 - Diego Calvanese, Maurizio Lenzerini, Daniele Nardi:
Description Logics for Conceptual Data Modeling. 229-263 - Parke Godfrey, John Grant, Jarek Gryz, Jack Minker:
Integrity Constraints: Semantics and Applications. 265-306 - Ron van der Meyden:
Logical Approaches to Incomplete Information: A Survey. 307-356 - Laks V. S. Lakshmanan, Krishnaprasad Thirunarayan:
Declarative Frameworks for Inheritance. 357-388 - Georg Lausen, Bertram Ludäscher, Wolfgang May:
On Logical Foundations of Active Databases. 389-422
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-21 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
