Manolis Koubarakis  Home/Search
Context Related
| co.umist.ac.uk/pub/WW...phdthesis.ps.Z di.uoa.gr/~manolis/p...phdthesis.ps.gz dbnet.ece.ntua.gr/pub/pap...tr9401.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: co.umist.ac.uk/~manolis/ (more) From: dbnet.ece.ntua....chnical_reports (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An important requirement of advanced temporal applications is the ability to deal with definite, indefinite, finite and infinite temporal information. There is currently no database model which offers this functionality in a single unified framework. We argue that the combination of relational databases and temporal constraints offers a powerful framework which addresses these needs. In this thesis we develop the foundations of a theory of temporal constraint databases and indefinite temporal... (Update)
Context of citations to this paper: More
...databases can be done in PTIME. In this paper we consider the scheme of indefinite constraint databases proposed by Koubarakis [25, 26, 31]. This scheme can be used to represent indefinite information arising in temporal, spatial and truly spatiotemporal applications...
...does not need an explicit representation of time. Constraints dealing with explicit time are called temporal integrity constraints [Ko] and require storage of time in one way or another in the database. Note that static constraints are special cases of dynamic...
Cited by: More
Constraint Query Algebras - Goldin (1997) (Correct)
A Computational Method for Modal Deductive Databases - Nguyen (2003) (Correct)
Multimodal Logic Programming and Its Applications to Modal.. - Nguyen (2003) (Correct)
Similar documents (at the sentence level):
7.4%: Reasoning About Time and Change: a Knowledge Base Management.. - Koubarakis (1990) (Correct)
6.6%: Complexity Results for First-Order Theories of Temporal.. - Koubarakis (1994) (Correct)
5.9%: The Complexity of Query Evaluation in Indefinite Temporal.. - Koubarakis (1997) (Correct)
Active bibliography (related documents): More All
3.8: Database Models for Infinite and Indefinite Temporal Information - Koubarakis (1994) (Correct)
2.1: Representation and Querying in Temporal Databases: the Power of .. - Koubarakis (1993) (Correct)
1.1: Dense Time and Temporal Constraints with ≠ - Koubarakis (1992) (Correct)
Similar documents based on text: More All
0.3: AFormal Model for Business Process Modeling - And Design Manolis (2000) (Correct)
0.3: Business Process Modelling and Design: A Formal Model and .. - Koubarakis, Plexousakis (Correct)
0.2: Querying Temporal Constraint Networks in PTIME - Koubarakis, al. (1999) (Correct)
Related documents from co-citation: More All
11: Constraint Query Languages - Kanellakis, Kuper et al. - 1990
8: A Closed Form for Datalog Queries with Integer Order (context) - Revesz - 1990
8: Constraint propagation algorithms for temporal reasoning (context) - Vilain, Kautz - 1986
BibTeX entry: (Update)
M. Koubarakis. Foundations of Temporal Constraint Databases. PhD thesis, Computer Science Division, Dept. of Electrical and Computer Engineering, National Technical University of Athens, February 1994. http://citeseer.ist.psu.edu/article/koubarakis94foundations.html More
@phdthesis{ koubarakis93foundations,
author = "M. Koubarakis",
title = "Foundations of Temporal Constraint Databases",
year = "1993",
url = "citeseer.ist.psu.edu/article/koubarakis94foundations.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-co.. (context) - Garey, Johnson - 1979
3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990 ACM
1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1991
1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983 ACM DBLP
981 Principles of Data Base and Knowledge Base Systems (context) - Ullman - 1988
702 Consistency in Networks of Relations (context) - Mackworth - 1977 ACM DBLP
663 Some Philosophical Problems From the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
388 The Frame Problem in the Situation Calculus: A Simple Soluti.. (context) - Reiter - 1991
380 Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1989 ACM
379 The Complexity of Relational Query Languages (context) - Vardi - 1982
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
340 Temporal Constraint Networks (context) - Dechter, Meiri et al. - 1989
334 A Truth Maintenance System (context) - Doyle - 1979 ACM DBLP
324 A Logic-based Calculus of Events (context) - Kowalski, Sergot - 1986 ACM DBLP
315 Constraint Query Languages - Kanellakis, Kuper et al. - 1990 ACM DBLP
307 Networks of Constraints: Fundamental Properties and Applicat.. (context) - Montanari - 1974
284 Constraint Propagation Algorithms for Temporal Reasoning: a .. (context) - Vilain, Kautz et al. - 1989
284 Constraint Propagation Algorithms for Temporal Reasoning (context) - Vilain, Kautz - 1986
274 A Catalog of Complexity Classes (context) - Johnson - 1990
267 Network-Based Heuristics for Constraint Satisfaction Problem.. (context) - Dechter, Pearl - 1988 ACM
261 An Introduction to Prolog III (context) - Colmerauer - 1990 ACM DBLP
227 North Holland (context) - Chang, Keisler - 1973
221 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
198 Structure and Complexity of Relational Queries - Chandra, Harel - 1982 DBLP
191 Temporal Databases (context) - Snodgrass - 1992 ACM DBLP
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992 ACM
185 A Sufficient Condition For Backtrack-Free Search (context) - Freuder - 1982 ACM DBLP
185 The Complexity of Some PolynomialNetwork Consistency Algorit.. (context) - Mackworth, Freuder - 1985
172 A really temporal logic - Alur, Henzinger - 1989 ACM DBLP
166 Synthesizing Constraint Expressions (context) - Freuder - 1978 ACM DBLP
160 A Temporal Logic for Reasoning About Processes and Plans (context) - McDermott - 1982
154 Introduction to Artificial Intelligence (context) - Charniak, McDermott - 1985 ACM
147 Real-time logics: Complexity and expressiveness - Alur, Henzinger - 1990
142 Reasoning About Change: Time and Causation from the Standpoi.. (context) - Shoham - 1987 ACM
141 Timing Assumptions and Verification of Finite State Concurre.. (context) - Dill - 1989
134 ACM Transaction on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
134 Extending the Database Relational Model to Capture More Mean.. (context) - Codd - 1979 ACM DBLP
132 Towards a logical reconstruction of relational database theo.. (context) - Reiter - 1984 DBLP
129 Theoretical Computer Science (context) - Stockmeyer, Hierarchy - 1977 ACM
121 A taxonomy of time in databases (context) - Snodgrass, Ahn - 1985 ACM DBLP
112 Reasoning About Action I: A Possible Worlds Approach - Ginsberg, Smith - 1988 ACM DBLP
107 Combining Qualitative and Quantitative Constraints in Tempor.. - Meiri - 1991 ACM DBLP
107 Combining Qualitative and Quantitative Constraints in Tempor.. - Meiri - 1991
106 Temporal Data Base Management (context) - Dean, McDermott - 1987 ACM DBLP
105 Introduction to Montague Semantics (context) - Dowty, Wall et al. - 1981
103 Prediction is Deduction but Explanation is Abduction - Shanahan - 1989 DBLP
101 Incomplete Information in Relational Databases (context) - Imielinski, Lipski - 1984 ACM DBLP
99 Formal Theories of Action (context) - Lifschitz - 1987 ACM
97 Introduction to Automata Theory Languages and Computation (context) - Hopcroft, Ullman - 1979
96 Telos: A Language for Representing Knowledge About Informati.. (context) - Mylopoulos, Borgida et al. - 1990
95 A Homogeneous Relational Model and Query Languages for Tempo.. (context) - Gadia - 1988 ACM DBLP
92 Present and Future (context) - Prior - 1967
88 Elements of Relational Database Theory (context) - Kanellakis - 1990 ACM DBLP
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
86 Foundations of a Functional Approach to Knowledge Representa.. (context) - Levesque - 1984 DBLP
84 What are the Limitations of the Situation Calculus (context) - Gelfond, Lifschitz et al. - 1991
83 The Logic of Persistence (context) - Kautz - 1986 DBLP
82 Integrating Metric and Qualitative Temporal Reasoning - Kautz, Ladkin - 1991 DBLP
82 Reasoning About Plans (context) - Allen, Kautz et al. - 1991 ACM DBLP
82 Reasoning About Partially Ordered Events (context) - Dean, Boddy - 1988
81 Constraint-Directed Search: A Case Study of Job-Shop Schedul.. - Fox - 1987
81 Reasoning About Qualitative Temporal Information (context) - van Beek - 1992 ACM DBLP
81 Reasoning About Qualitative Temporal Information (context) - van Beek - 1990 ACM DBLP
80 From local to global consistency - Dechter - 1992 ACM DBLP
77 Temporal logic programming (context) - Abadi, Manna - 1989 ACM DBLP
77 Constructive Negation for Constraint Logic Programming (context) - Stuckey - 1991 DBLP
74 A Propositional Modal Logic of Time Intervals - Halpern, Shoham - 1986 ACM DBLP
71 Database updates in the event calculus (context) - Kowalski - 1986 ACM DBLP
71 Techniques for Automatic Verification of Real-Time Systems (context) - Alur - 1991 ACM
70 IEEE Transactions on Knowledge and Data Engineering (context) - Stonebraker, Rowe et al. - 1990
69 A Common-Sense Theory of Time (context) - Allen, Hayes - 1985
69 Temporal Reasoning in Logic Programming: A Case for the Situ.. - Pinto, Reiter - 1993 DBLP
66 Temporal Logics in AI: Semantical and Ontological Considerat.. (context) - Shoham - 1987 ACM DBLP
66 and the Frame Problem (context) - Hanks, McDermott et al. - 1986
65 Temporal Reasoning in Situation Calculus - Pinto, Reiter - 1993
61 The Historical Relational Data Model (context) - Clifford, Croker - 1987
60 Handling Infinite Temporal Data - Kabanza, Stevenne et al. - 1990 ACM DBLP
60 Temporal Deductive Databases - Baudinet, Chomicki et al. - 1993 DBLP
58 A Closed Form for Datalog Queries with Integer Order (context) - Revesz - 1990 ACM DBLP
57 A Logic Programming View of CLP - Maher - 1993 ACM DBLP
53 Deciding Linear Inequalities by Computing Loop Residues (context) - Shostak - 1981 ACM DBLP
51 Decidable theories (context) - Rabin - 1977
51 Pushing Constraint Selections - Srivastava, Ramakrishnan - 1992 ACM DBLP
49 Reidel Publishing Company (context) - van Benthem, of - 1983
48 ACM Transactions on Database Systems (context) - Clifford, Warren et al. - 1983
48 Super-exponential Complexity of Presburger Arithmetic - Fischer, Rabin - 1974 ACM
48 Exact and Approximate Reasoning about Temporal Relations (context) - van Beek, Cohen - 1990 ACM DBLP
48 Towards Practical Constraint Databases (context) - Jaffar, Brodsky et al. - 1993 DBLP
48 An Interval Based Representation of Temporal Knowledge (context) - Allen - 1981
47 Moments and Points In an Interval-Based Temporal Logic (context) - Allen, Hayes - 1989 ACM
46 Springer Verlag (context) - Rescher, Urquhart - 1971
45 An Algebra For Historical Relational Databases: Two Views (context) - Clifford, Tansel - 1985
43 The Computational Complexity of Logical Theories (context) - Ferrante, Rackoff - 1979
43 the Representation of Infinite Temporal Data and Queries - Baudinet, Niezette et al. - 1991
43 Reasoning About Action II: The Qualification Problem - Ginsberg, Smith - 1988 ACM DBLP
42 Database relations with null values - Zaniolo - 1984 ACM DBLP
41 the Representation and Querying of Sets of Possible Worlds - Abiteboul, Kanellakis et al. - 1991
41 A Critical Examination of Allen's Theory of Action and Time (context) - Galton - 1990 ACM DBLP
40 Modal and Temporal Logic Programming (context) - Gabbay - 1989 ACM
40 Theory of Integer and Linear Programming (context) - Schrijver - 1986
39 Hierarchical Planning Involving Deadlines (context) - Dean, Firby et al. - 1988
38 Time Representation: A Taxonomy of Interval Relations (context) - Ladkin - 1986
38 Artificial Intelligence - Cooper, k-consistency - 1990 ACM DBLP
36 Valid-time Indeterminacy - Dyreson, Snodgrass - 1993 ACM
36 al Databases: Theory, Design and Implementation. Database Sy.. (context) - Tansel, Clifford et al. - 1993
36 Time and Modality (context) - Prior - 1957
36 Temporal Deductive Databases and Infinite Objects (context) - Chomicki, Imielinski - 1988 ACM DBLP
35 Subsumption and Indexing in Constraint Query Languages with .. - Srivastava - 1992 DBLP
35 Safety and Translation of Relational Calculus Queries (context) - van Gelder, Topor - 1991 DBLP
33 The Complexity of Querying Indefinite Data About Linearly Or.. - van der Meyden - 1992 ACM DBLP
32 Approximation Algorithms for Temporal Reasoning (context) - van Beek - 1989
32 Managing Efficiently Temporal Relations through Indexed Span.. (context) - Ghallab, Alaoui - 1989 DBLP
32 General Structure For Temporal Domains (context) - Clifford, Rao et al. - 1988
31 Incomplete Objects - A Data Model for Design and Planning Ap.. (context) - Imielinski, Naqvi et al. - 1991 DBLP
31 A Uniform Model for Temporal and Versioned Object-oriented D.. (context) - Wuu, Dayal - 1993 DBLP
30 A Generalized Model For a Relational Temporal Database (context) - Gadia, Yeung - 1988 ACM DBLP
30 A Non-Reified Temporal Logic - Bacchus, Tenenberg et al. - 1989 ACM DBLP
29 An Efficient Symbolic Representation of Periodic Time (context) - Niezette, Stevenne - 1992
28 Representation and Querying in Temporal Databases: the Power.. - Koubarakis - 1993 DBLP
28 Representation and Querying in Temporal Databases: the Power.. - Koubarakis - 1993 DBLP
27 Temporal logic programming is complete and expressive (context) - Baudinet - 1989 ACM DBLP
27 A Uniform Model for Temporal Object-Oriented Databases (context) - Wuu, Dayal - 1992 ACM DBLP
27 Relational Specifications of Infinite Query Answers (context) - Chomicki, Imielinski - 1989
26 Two Easy Theories Whose Combination Is Hard - Pratt - 1977
25 Temporal Reasoning in Timegraph I-II (context) - Gerevini, Schubert et al. - 1993 DBLP
25 A Sound and Sometimes Complete Query Evaluation Algorithm fo.. (context) - Reiter - 1986 ACM DBLP
25 The Declarative Past and Imperative Future (context) - Gabbay - 1989 ACM
25 A Query Language For a Homogeneous Temporal Database (context) - Gadia, Vaishnav - 1985 ACM DBLP
25 Polynomial Time Query Processing in Temporal Deductive Datab.. - Chomicki - 1990 ACM DBLP
25 On Integrity Constraints (context) - Reiter - 1988 ACM DBLP
25 Why Things Go Wrong: A Formal Theory of Causal Reasoning (context) - Morgenstern, Stein - 1988 DBLP
24 Transaction Time Databases (context) - Lomet, Salzberg - 1993
24 The theory of relational databases (context) - Maier - 1983 DBLP
24 Efficient Temporal Reasoning Through Timegraphs (context) - Gerevini, Schubert - 1993
24 Temporal Logic Programming and its Relation to Constraint Lo.. (context) - Brzoska - 1991 DBLP
24 Extending Relational Algebra To Manipulate Temporal Data (context) - Lorentzos, Johnson - 1988 ACM DBLP
24 Querying Logical Databases (context) - Vardi - 1986 ACM DBLP
23 Temporal Projection and Explanation (context) - Andrew, Matthew et al. - 1989 DBLP
23 A Temporal Model and Query Language for EER Databases (context) - Elmasri, Wuu et al. - 1993
23 A Decision Procedure for the First Order Theory of Real Addi.. (context) - Ferrante, Rackoff - 1975 DBLP
22 TERM: An Approach to Include the Time Dimension in the Entit.. (context) - Klopprogge - 1981
22 The TIMELOGIC Temporal Reasoning System (context) - Koomen - 1989
21 Decision Procedures for Constraint Based Extensions of Datal.. (context) - Cox, McAloon - 1990 DBLP
21 Decision Procedures for Constraint Based Extensions of Datal.. (context) - Cox, McAloon - 1993 DBLP
21 Annual Reviews of Computer Science (context) - Reiter - 1987
20 On Databases with Incomplete Information (context) - Jr - 1981 ACM DBLP
20 Dense Time and Temporal Constraints with (context) - Koubarakis - 1992
19 An Overview of TQUEL - Snodgrass - 1993 DBLP
19 Primitives and Units for Time Specification (context) - Ladkin - 1986 DBLP
19 Exact and Approximate Reasoning About Qualitative Temporal R.. (context) - van Beek - 1990 ACM
19 Models of Axioms for Time Intervals (context) - Ladkin - 1987 DBLP
19 Problems in Formal Temporal Reasoning (context) - Shoham, McDermott - 1988 ACM DBLP
19 Using Temporal Hierarchies to Efficiently Maintain Large Tem.. (context) - Dean - 1989
18 Adding a Time Line to the Situation Calculus (context) - Pinto, Reiter - 1993
17 Towards a unified theory of intensional logic programming (context) - Orgun, Wadge - 1992 ACM DBLP
16 Functional Deductive Databases: Query Processing in the Pres.. (context) - Chomicki - 1990 ACM
15 Extending the Relational Algebra to Support Transaction Time (context) - McKenzie, Snodgrass - 1987 ACM DBLP
14 Performance Evaluation of a Temporal Database Management Sys.. (context) - Ahn, Snodgrass - 1986 ACM DBLP
14 On Semantic Issues Connected with Incomplete Information Dat.. (context) - Jr - 1979 ACM DBLP
13 Temporal Logic Programming with Metric and Past Operators Ba.. (context) - Brzoska - 1993
13 Logic and Computation (context) - van Benthem - 1989
13 A logical framework for temporal deductive databases (context) - Sripada - 1988 ACM DBLP
13 Automatic Deduction of Temporal Information (context) - Maiocchi, Pernici et al. - 1992 ACM DBLP
12 Special Volume on Knowledge Representation (context) - Dechter, Meiri et al. - 1991
12 Short Time Periods (context) - Hayes, Allen - 1987 DBLP
12 Toward a Multihomogeneous Model For a Temporal Database (context) - Gadia - 1986
11 A formal approach to null values in database relations (context) - Biskup - 1981 DBLP
11 The Completeness of a Natural System for Reasoning with Time.. (context) - Ladkin - 1987 DBLP
11 A foundation of Codd's relational may be operations (context) - Biskup - 1983
11 Representation of Activity Knowledge for Project Management - Sathi, Fox et al. - 1985
11 An Efficient Decision Procedure for the Theory of Rational O.. (context) - Ferrante, Geiser - 1977 DBLP
11 Computational Intelligence (context) - Miller, Schubert - 1990 ACM
10 Presburger Arithmetic with Bounded Quantifier Alternation (context) - Reddy, Loveland - 1978 ACM DBLP
10 Temporal Logic Programming with Bounded Universal Goals (context) - Brzoska - 1993
10 Representation and Reasoning with Convex Time Intervals (context) - Ladkin, Maddux - 1988
10 Performance of Temporal Reasoning Systems (context) - Yampratoom, Allen - 1993 ACM DBLP
10 Temporal Reasoning in Deductive Databases (context) - Sripada - 1991
9 Real Addition and the Polynomial Time Hierarchy (context) - Sontag - 1985
9 Non-Standard Semantics for the Method of Temporal Arguments (context) - Haugh - 1987
9 Temporal Reasoning for Planning and Scheduling (context) - Boddy - 1993 ACM DBLP
9 Towards a General Model of Action and Time (context) - Allen - 1984
8 A Metalogic Programming Approach to Reasoning About Time in .. (context) - Sripada - 1989 DBLP
8 Temporal Reasoning in Artificial Intelligence (context) - Shoham, Goyal - 1988 ACM
8 Incomplete Information in Logical Databases (context) - Imielinski - 1989 DBLP
8 A Comparison of First Order and Modal Logics of Time (context) - Reichgelt - 1989
8 Satisfying First-Order Constraints About Time Intervals (context) - Ladkin - 1988 DBLP
8 Time Modeling in Office Information Systems (context) - Barbic, Pernici - 1985 ACM DBLP
8 the Completeness of Query Languages for Grouped and Ungroupe.. (context) - Clifford, Croker et al. - 1993
8 Logic programming semantics: Techniques and applications (context) - Baudinet - 1989 ACM
8 Managing Disjunction for Practical Temporal Reasoning - Schrag, Boddy et al. - 1992 DBLP
8 Achieving Zero Information Loss In a Classical Database Envi.. (context) - Gadia, Bhargava - 1989
7 Temporal Relationships in Databases (context) - Chaudhuri - 1988 ACM DBLP
7 PROBE -- A Research Project in Knowledge-Oriented Database S.. (context) - Dayal, Buchmann et al. - 1985
7 Tachyon: A constraint-based temporal reasoning model and its.. (context) - Stillman, Arthur et al. - 1993
7 Variable Elimination for Generalized Linear Constraints (context) - Imbert - 1993 ACM DBLP
7 Using Specialists to Accelerate General Reasoning (context) - Miller, Schubert - 1988 DBLP
7 Functional dependencies and incomplete information (context) - Vassiliou - 1980 DBLP
7 Computer Aided Verification (context) - Courcoubetis - 1993
6 ACM Transcactions on Database Systems (context) - Snodgrass, Query - 1987
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.co.umist.ac.uk/~manolis/): More
Complexity Results for First-Order Theories of Temporal.. - Koubarakis (1994) (Correct)
Databases and Temporal Constraints: Semantics and Complexity - Koubarakis (1995) (Correct)
From Local to Global Consistency in Temporal Constraint Networks - Koubarakis (1995) (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