MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Dense-Order Constraint Databases." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Dense-Order Constraint Databases (Extended Abstract)
by Stéphane Grumbach, Jianwen Su — 1995
…Dense-Order Constraint Databases (Extended Abstract) St'ephane Grumbach University of Toronto…
Add To MetaCart

Operational Semantics for Fixed-Point Logics on Constraint Databases
by Stephan Kreutzer Rwth, Stephan Kreutzer — 2001 — Logic for Programming, Artificial Intelligence, and Reasoning—Proceedings LPAR 2001, volume 2250 of Lecture Notes in Computer Science
… or dense order constraint databases. This comparison is not done on absolute terms, i.e. by comparing…
Add To MetaCart

Descriptive Complexity Theory for Constraint Databases
by Erich Gradel And, Erich Gradel, Stephan Kreutzer, Lehrgebiet Mathematische, Grundlagen Informatik — In Computer Science Logic, number 1683 in LNCS
… databases: dense order and linear constraint databases. For dense order databases, we present a general…
Add To MetaCart

Operational Semantics for Fixed-Point Logics on Constraint Databases
by Stephan Kreutzer — 2001 — Logic for Programming, Artificial Intelligence, and Reasoning—Proceedings LPAR 2001, volume 2250 of Lecture Notes in Computer Science
… order constraint databases. This comparison is not done on absolute terms, i.e. by comparing…
Cited by 4 (0 self) – Add To MetaCart

Descriptive complexity theory for constraint databases
by Stephan Kreutzer, Lehrgebiet Mathematische, Grundlagen Informatik — 1999 — In Computer Science Logic, number 1683 in LNCS
… databases: dense order and linear constraint databases. For dense order databases, we present a general…
Cited by 8 (4 self) – Add To MetaCart

Finitely Representable Databases
by Stéphane Grumbach, Jianwen Su — 1995
…, it was first shown that the data complexity of first-order logic over dense order constraint databases in some…
Cited by 51 (7 self) – Add To MetaCart

Towards Practical Constraint Databases (Extended Abstract)
by Stéphane Grumbach, Jianwen Su — 1996
… into finite relations. This is easily achieved for dense-order constraint databases [KG94, GS95a], but much…
Cited by 8 (3 self) – Add To MetaCart

Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls
by Stephan Kreutzer — 2001 — In Proceedings of the 8th International Conference on Database Theory (ICDT), number 1973 in Lecture Notes in Computer Science
… successfully been used in the context of dense-order constraint databases (see [KKR90,GS97,GK99…
Cited by 4 (1 self) – Add To MetaCart

Queries with Arithmetical Constraints
by Stéphane Grumbach, Jianwen Su — 1997 — Theoretical Computer Science
… and inflationary Datalog [Rev93,Rev95] with negation over dense order constraint databases has been shown…
Cited by 27 (3 self) – Add To MetaCart

An Ehrenfeucht-Fraïssé Game Approach to Collapse Results in Database Theory
by Nicole Schweikard — 2002
… databases of [5] (also known as dense order constraint databases). We show that natural generic collapse…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB