See this document in CiteSeerX!

Logics for Databases and Information Systems (1998)  (Make Corrections)  (15 citations)
Jan Chomicki, Gunter Saake (Eds.)



  Home/Search   Context   Related

 
View or download:
dis.uniroma1.it/pu...nardDBIS98.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ensais.ustrasbg.fr/LI...dlpapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Temporal Databases 34 3.2.2 Relational Database Histories 36 3.3 Temporal Queries 36 3.3.1 Abstract Temporal Query Languages 37 3.3.2 Expressive Power 41 3.3.3 Space-efficient Encoding of Temporal Databases 44 3.3.4 Concrete Temporal Query Languages 46 3.3.5 Evaluation of Abstract Query Languages using Compilation 47 3.3.6 SQL and Derived Temporal Query Languages 48 3.4 Temporal Integrity Constraints 53 3.4.1 Notions of constraint satisfaction 53 3.4.2 Temporal Integrity Maintenance 54 3.4.3... (Update)

Cited by:   More
The DLR_US Temporal Description Logic - Artale, Franconi, Mosurovic, al.   (Correct)
A Temporal Description Logic for Reasoning over.. - Artale, Franconi, .. (2002)   (Correct)
Logical Data Expiration - Toman (2003)   (Correct)

Similar documents (at the sentence level):   More
58.4%:   Description Logics for Conceptual Data Modeling - Calvanese, al. (1998)   (Correct)
53.1%:   Description Logics For Conceptual Data Modeling - Calvanese, Lenzerini, Nardi (1998)   (Correct)
11.4%:   Logics for Databases and Information Systems - Chomicki, (Eds.) (1998)   (Correct)

Active bibliography (related documents):   More   All
1.2:   A Unified Framework for Class-Based Representation.. - Calvanese, Lenzerini, Nardi (1994)   (Correct)
0.5:   Making Object-Oriented Schemas More Expressive - Calvanese, Lenzerini (1994)   (Correct)
0.5:   On the Interaction Between ISA and Cardinality Constraints - Calvanese, Lenzerini (1994)   (Correct)

Similar documents based on text:   More   All
0.5:   Logics for Emerging Applications of Databases - Chomicki, Saake, van der Meyden (2003)   (Correct)
0.3:   Temporal Logic in Information Systems - Chomicki, Toman (1997)   (Correct)
0.3:   Querying ATSQL Databases with Temporal Logic - Chomicki, Toman, Böhlen (2001)   (Correct)

Related documents from co-citation:   More   All
12:   Temporal Logic in Information Systems - Chomicki, Toman - 1998
11:   Modal description logics: modalizing roles - Wolter, Zakharyaschev - 1999
11:   Description logics for conceptual data modeling - Calvanese, Lenzerini et al. - 1998

BibTeX entry:   (Update)

J. Chomicki and G. Saake, eds, Logics for Databases and Information Systems. Kluwer, 1998 http://citeseer.ist.psu.edu/article/chomicki98logics.html   More

@misc{ chomicki98logics,
  author = "J. Chomicki and G. Saake",
  title = "Logics for Databases and Information Systems",
  text = "J. Chomicki and G. Saake, eds, Logics for Databases and Information Systems.
    Kluwer, 1998",
  year = "1998",
  url = "citeseer.ist.psu.edu/article/chomicki98logics.html" }
Citations (may not include all citations):
637   The Entity-Relationship model: Toward a unified view of data (context) - Chen - 1976
619   The Object Database Standard: ODMG (context) - Cattell, Barry - 1997
480   An overview of the KLONE knowledge representation system (context) - Brachman, Schmolze - 1985
413   Logical foundations of Object-Oriented and frame-based langu.. - Kifer, Lausen et al. - 1995
280   Object identity as a query language primitive (context) - Abiteboul, Kanellakis - 1989
207   Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
197   The complexity of concept languages - Donini, Lenzerini et al. - 1991
164   Introduction to Object-Oriented Databases (context) - Kim - 1990
152   Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
115   Representing and using interschema knowledge in cooperative .. - Catarci, Lenzerini - 1993
92   Managing semantic heterogeneity in databases: A theoretical .. - Hull - 1997
90   and Victor Vianu (context) - Abiteboul, Hull - 1995
89   Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
85   Object-Oriented Concepts (context) - Kim, Lochovsky - 1989
73   Semantic database modelling: Survey (context) - Hull, King - 1987
57   Qualifying number restrictions in concept languages (context) - Hollunder, Baader - 1991
57   IEEE Transactions on Knowledge and Data Engineering (context) - Borgida, in - 1995
52   A unified framework for class based representation formalism.. - Calvanese, Lenzerini et al. - 1994
49   Inclusion dependencies and their interaction with functional.. (context) - Casanova, Fagin et al. - 1984
47   On taxonomic reasoning in conceptual design (context) - Bergamaschi, Sartori - 1992
45   Structured objects: Modeling and reasoning - Calvanese, De Giacomo et al. - 1995
40   Principles of Semantic Networks (context) - Sowa - 1991
39   Polynomial-time implication problems for unary inclusion dep.. (context) - Cosmadakis, Kanellakis et al. - 1990
39   From type systems to knowledge representation: Natural seman.. (context) - Borgida - 1992
36   A relationship mechanism for strongly typed Object-Oriented .. - Albano, Ghelli et al. - 1991
32   Functional and inclusion dependencies - A graph theoretical .. (context) - Cosmadakis, Kanellakis - 1986
32   Data semantics (context) - Abrial - 1974
29   Using automata theory for characterizing the semantics of te.. (context) - Baader - 1996
27   Making object-oriented schemas more expressive - Calvanese, Lenzerini - 1994
25   Semantic Networks in Artificial Intelligence (context) - Lehmann - 1992
24   Acquisition and validation of complex object database schema.. - Bergamaschi, Nebel - 1994
23   Finite model reasoning in description logics - Calvanese - 1996
22   Terminological cycles and the propositional ¯-calculus (context) - Schild - 1994
22   Concept language with number restrictions and fixpoints - De Giacomo, Lenzerini - 1994
22   Database Modeling and Design: The EntityRelationship Approac.. (context) - Teorey - 1989
18   an Entity-Relationship Approach (context) - Batini, Ceri et al. - 1992
17   La Sapienza (context) - Calvanese, Finite et al. - 1996
17   La Sapienza (context) - Calvanese, Lenzerini et al. - 1997
15   the interaction between ISA and cardinality constraints - Calvanese, Lenzerini - 1994
14   Fundamentals of cardinality constraints (context) - Thalheim - 1992
14   Inheritance Hierarchies in Knowledge Representation and Prog.. (context) - Lenzerini, Nardi et al. - 1991
12   Terminological systems revisited: Terminology = schema + vie.. - Buchheit, Donini et al. - 1994
12   the satisfiability of dependency constraints in entity-relat.. (context) - Lenzerini, Nobili - 1990
11   Classes and instances (context) - Motschnig-Pitrik, Mylopoulous - 1992
8   Inferences for numerical dependencies (context) - Grant, Minker - 1985
8   Fundamentals of the Entity Relationship Model (context) - Thalheim - 1993
5   Cardinality concepts in entity-relationship modeling (context) - Ferg - 1991
5   Numerical dependencies (context) - Grant, Minker - 1984
5   Cardinality consistency of derived objects in DOOD systems (context) - Ye, Parent et al.
5   Describing database objects in a concept language environmen.. (context) - Artale, Cesarini et al. - 1996
5   Term subsumption with type constructors - Piza, Schewe et al. - 1992
4   IEEE Transactions on Knowledge and Data Engineering (context) - Di Battista, Lenzerini et al. - 1993
4   Adding functional dependencies to description logics (context) - Borgida, Weddell - 1997
2   Enforcing inclusion dependencies and referencial integrity (context) - Casanova, Tucherman et al. - 1988
2   Number 418 in Lecture Notes in Artificial Intelligence (context) - Blasius, Hedstuck et al. - 1990



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www-ensais.u-strasbg.fr/LIIA/rudloff/dlpapers.html):   More
The FLEX System - Quantz, Dunker, Bergmann, Kellner (1995)   (Correct)
Answering Queries Using Limited External Query Processors .. - Levy, Rajaraman, Ullman (1996)   (Correct)
Description Logic Framework for Information Integration - Calvanese, De Giacomo.. (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC