MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Independence of Negative Constraints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • On Fourier's Algorithm for Linear Arithmetic  
  • by Constraints Jean-Louis Lassez, Jean-louis Lassez, Michael J. Maher — 1992 — Journal of Automated Reasoning
  • … on the independence of negative constraints. 1 Introduction In 1824 Fourier proposed the first algorithm for solving…
  • Cited by 23 (4 self) – Add To MetaCart
  • A Logic Programming View of CLP  
  • by Michael J. Maher — 1993 — International Conference on Logic Programming
  • … it is not possible. We show that the Independence of Negated Constraints property of constraint domains…
  • Cited by 45 (9 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
  • …, for constraint domains with Independence of Negative Constraints, the two chase procedures are equally powerful…
  • 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
  • … in demonstrating that a CTGD is implied. We demonstrate that, for constraint domains with Independence of Negative…
  • Add To MetaCart
  • Constrained Dependencies  
  • by Michael J. Maher — 1995 — Theoretical Computer Science
  • … domain (D; L) has the independence of negative constraints property if, for all constraints c; c 1…
  • Cited by 12 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB