MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Constraint-Generating Dependencies." – sorted by Relevance.

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

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

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

ATOM

Constraint-Generating Dependencies
by Marianne Baudinet, Jan Chomicki, Pierre Wolper — 1995 — Journal of Computer and System Sciences
…Constraint-Generating Dependencies ? Marianne Baudinet, 1 Jan Chomicki, 2 and Pierre Wolper 3…
Cited by 33 (4 self) – Add To MetaCart

Semantic Optimization Techniques for Preference Queries ⋆
by unknown authors
… evaluation and optimization. As integrity constraints, we consider constraint-generating dependencies, a…
Add To MetaCart

ASKMi: A Japanese Question Answering System based on Semantic Role Analysis
by Tetsuya Sakai, Yoshimi Saito, Yumi Ichimura, Makoto Koyama, Tomoharu Kokubu, Toshihiko Manabe — 2004 — In Proceedings of RIAO 2004
… that can perform query expansion and document constraint generation depending on what the answer types are…
Cited by 1 (1 self) – Add To MetaCart

Optimizing Queries in Extended Relational Databases
by Michael Maher, Junhu Wang — In International Conference on Database and Expert Systems Applications (DEXA
…) Constraint-Generating Dependencies (CGDs): p 1 (X 1 ); :::; pn (Xn ); C(X) ! D(X) (2) Nullity-Generating…
Cited by 8 (3 self) – Add To MetaCart

Chasing Constrained Tuple-Generating Dependencies
by Michael Maher Ibm--T, Michael J. Maher, Divesh Srivastava — 1996 — In ACM Symposium on Principles of Database Systems
… and TGDs. It also includes constrained functional dependencies [16], 1 constraint-generating dependencies…
Add To MetaCart

Chasing Constrained Tuple-Generating Dependencies
by Michael J. Maher, Divesh Srivastava — 1996 — In ACM Symposium on Principles of Database Systems
… such as FDs, MVDs, EGDs and TGDs. It also includes constrained functional dependencies [16], constraint-generating…
Cited by 14 (4 self) – Add To MetaCart

Chasing Constrained Tuple-Generating Dependencies
by Michael Maher Griffith, Michael J. Maher, Divesh Srivastava — 1996 — In ACM Symposium on Principles of Database Systems
… such as FDs, MVDs, EGDs and TGDs. It also includes constrained functional dependencies [16], constraint-generating…
Add To MetaCart

Mechanizing and Improving Dependency Pairs
by Jürgen Giesl, René Thiemann, Stephan Falke — 2006 — Journal of Automated Reasoning
… (innermost) termination proofs, one tries to solve the constraints generated by the dependency pair technique…
Cited by 14 (10 self) – Add To MetaCart

Mechanizing dependency pairs
by Jürgen Giesl, Jürgen Giesl, René Thiemann, René Thiemann, Peter Schneider-kamp, Peter Schneider-kamp, Stephan Falke, Stephan Falke — 2003
…) termination proofs, one tries to solve the constraints generated by the dependency pair approach with standard…
Cited by 4 (4 self) – Add To MetaCart

Improving Dependency Pairs
by Jürgen Giesl, René Thiemann, Peter Schneider-kamp, Stephan Falke — 2003 — In Proc. 10th LPAR, LNAI 2850
…) termination proofs, the constraints generated by the dependency pair approach are pre-processed by an argument…
Cited by 14 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB