Searching for authors named "Manolis Koubarakis" – sorted by Relevance.
43 documents found, showing 1 through 10.
Next 10 →
-
Dense Time and Temporal Constraints with ≠
- …In some temporal reasoning systems, inequations can give rise to disjunctions of inequations when variable elimination is performed. Motivated by this observation, we extend previous research on temporal constraints by considering disjunctions of inequations (under the assumption that time is dense.…
- Add To MetaCart
-
Foundations of Indefinite Constraint Databases
- …. We lay the foundations of a theory of constraint databases with indefinite information based on the relational model. We develop the scheme of indefinite L-constraint databases where L, the parameter, is a first-order constraint language. This scheme extends the proposal of Kanellakis, Kuper and R…
- Cited by 9 (7 self) – Add To MetaCart
-
Tractable Disjunctions of Linear Constraints: Basic Results and Applications to Temporal Reasoning
- …We study the problems of deciding consistency and performing variable elimination for disjunctions of linear inequalities and disequations with at most one inequality per disjunction. This new class of constraints extends the class of generalized linear constraints originally studied by Lassez an…
- Cited by 38 (1 self) – Add To MetaCart
-
From Local to Global Consistency in Temporal Constraint Networks
- …We study the problem of global consistency for several classes of quantitative temporal constraints which include inequalities, inequations and disjunctions of inequations. In all cases that we consider we identify the level of local consistency that is necessary and sufficient for achieving global …
- Cited by 16 (4 self) – Add To MetaCart
-
Database Models for Infinite and Indefinite Temporal Information
- …Representation and querying of temporal information can benefit from the integration of techniques from constraint databases, database models for indefinite information and reasoning about temporal constraints. With this perspective in mind, we present a hierarchy of temporal data models: temporal r…
- Cited by 25 (6 self) – Add To MetaCart
-
Representation and Querying in Temporal Databases: the Power of Temporal Constraints
- …We propose a temporal database model capable of representing absolute, relative, imprecise and infinite temporal data. Our model is based on temporal tables i.e., relation-like representations which can contain variables constrained by the formulas of a temporal theory. We define an algebraic query …
- Cited by 24 (9 self) – Add To MetaCart
-
The Complexity of Query Evaluation in Indefinite Temporal Constraint Databases
- …In previous work we have developed the scheme of indefinite L-constraint databases where L, the parameter, is a first-order constraint language. This scheme extends the constraint database proposal of Kanellakis, Kuper and Revesz to include indefinite (or uncertain) information in the style of Imiel…
- Cited by 20 (5 self) – Add To MetaCart
-
Databases and Temporal Constraints: Semantics and Complexity
- …We continue the development of a theory of constraint databases with indefinite information which we originated in our previous research. Initially we review the schemes of L-constraint databases and indefinite L- constraint databases where L, the parameter, is a first-order constraint language. Th…
- Cited by 2 (2 self) – Add To MetaCart
-
Reasoning About Time and Change: a Knowledge Base Management Perspective
- …this paper, I will survey a number of temporal formalisms and systems from Knowledge Representation and Databases. Work in these two areas is particularly relevant if one is interested in designing and implementing a Temporal Knowledge Base Management System (TKBMS). KBMSs have been recently propose…
- Cited by 1 (0 self) – Add To MetaCart
-
Foundations of Temporal Constraint Databases
- …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 datab…
- Cited by 15 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
