See this document in CiteSeerX!

Testing Satisfiability Of A Conjunction Of Inequalities  (Make Corrections)  
Naci S. Ishakbeyoglu Tubitak Marmara Research Center Software Engineering...



  Home/Search   Context   Related

 
View or download:
cwru.edu/ozsoy/links/iscis97.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cwru.edu/ozsoy/recentpubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Conjunctions of inequality predicates, or inequalities for short, have been utilized to represent conjunctive queries and semantic integrity constraints in semantic query processing systems (Klug 1988, Ullman 1989, Shenoy and Ozsoyoglu 1989, Guo et al. 1996). In conjunctive query containment problem, one needs to check whether a conjunction or set of inequality predicates implies an inequality. This test is also applicable to checking redundant inequalities in an integrity constraint... (Update)

Active bibliography (related documents):   More   All
0.6:   Maintenance of Implication Integrity Constraints under.. - Ishakbeyoglu, Ozsoyoglu (1993)   (Correct)
0.2:   Constraint-Generating Dependencies - Baudinet, Chomicki, Wolper (1995)   (Correct)
0.2:   Implication and Referential Constraints: A New Formal Reasoning - Zhang, Ozsoyoglu (1994)   (Correct)

Similar documents based on text:   More   All
0.2:   A Spatial Method for Watermarking of Fingerprint Images - Uludag, Gunsel, Ballan (2001)   (Correct)
0.2:   Internet over Digital Video Broadcast: Performance Issues - Yilmaz, Sankur   (Correct)
0.2:   The Geometry of Self-dual 2-forms - Bilge, Dereli, Koçak   (Correct)

BibTeX entry:   (Update)

@misc{ ishakbeyoglu-testing,
  author = "Naci Ishakbeyoglu",
  title = "Testing Satisfiability Of A Conjunction Of Inequalities",
  url = "citeseer.ist.psu.edu/65329.html" }
Citations (may not include all citations):
232   Optimal implementation of conjunctive queries in relational .. (context) - Chandra - 1977
96   On Conjunctive Queries Containing Inequalities (context) - Klug - 1988
76   Principles of Database and Knowledge-base Systems Vol II (context) - Ullman - 1989
39   Design and Implementation of a Semantic Query Optimizer (context) - Shenoy - 1989
38   Processing Conjunctive Predicates and Queries (context) - Rosenkrantz - 1980
28   Automatic Rule Derivation for Semantic Query Optimization (context) - Siegel - 1988
21   Automatic Knowledge Acquisition and Maintenance for Semantic.. (context) - Yu - 1989
8   Solving Satisfiability and Implication Problems in Database .. (context) - Guo, Sun et al. - 1996
8   Semantic query optimization: additional constraints and cont.. (context) - Chakravarthy, Minker et al. - 1986
5   the Maintenance of Implication Integrity Constraints - Ishakbeyoglu - 1993
2   Maintenance of Semantic Integrity Constraints under Database.. (context) - Ishakbeyoglu - 1991
1   The Transitive Reduction of a Direct Graph (context) - Aho, Garey et al. - 1972

Documents on the same site (http://erciyes.ces.cwru.edu/ozsoy/recent-pubs.html):   More
Querying and Manipulating Multimedia Presentation Graphs - Lee, Sheng, Bozkaya.. (1996)   (Correct)
On Efficient Reasoning with Implication Constraints - Zhang, Ozsoyoglu (1993)   (Correct)
Distance-Based Indexing For High-Dimensional Metric Spaces - Bozkaya (1997)   (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