(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