Naci S. Ishakbeyoglu, Z. Meral Ozsoyoglu  Home/Search
Context Related
Links: ACM DBLP | cwru.edu/ozsoy/links/vldbj97.ps cwru.edu/PapersPublish...vldbjournal.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwru.edu/ozsoy/recentpubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Semantic integrity constraints are used for enforcing the integrity of the database as well as for improving the efficiency of the database utilization. Although semantic integrity constraints are usually much more static as compared to the data itself, changes in the data semantics may necessitate corresponding changes in the constraint base. In this paper we address the problems related with maintaining a consistent and non-redundant set of constraints satisfied by the database in the case... (Update)
Context of citations to this paper: More
...can be represented as generalized dependencies. For instance, the integrity constraints over databases with ordered domains studied in [17, 33] can be represented as generalized dependencies. Also, some versions of the constraint checking problem studied in [16] can be viewed...
.... of providing intensional answers ( 31] 27] 12] The maintenance of non redundant and consistent constraint sets is also studied ([28]) Xubo Zhang is with Intel Corp, 2625 Walsh Avenue, MS SC4 103, Santa Clara, CA 95051. Email: Xubo Zhang ccm.sc.intel.com y Z. Meral...
Cited by: More
Constraint-Generating Dependencies - Baudinet, Chomicki, Wolper (1995) (Correct)
Implication and Referential Constraints: A New Formal Reasoning - Zhang, Ozsoyoglu (1994) (Correct)
Testing Satisfiability Of A Conjunction Of Inequalities - Naci Ishakbeyoglu (Correct)
Active bibliography (related documents): More All
0.5: Consistency and Orderability: Semantics-Based Correctness .. - Agrawal, Abbadi, Singh (1993) (Correct)
0.5: Semantic Query Optimization Caching for a Multidatabase.. - Goñi.. (Correct)
0.5: A Logic Programming Approach to Conflict Resolution in.. - Chomicki, Lobo, Naqvi (2000) (Correct)
Similar documents based on text: More All
0.4: Sideway Value Algebra for Object-Relational Databases - Ozsoyoglu, Al-Hamdani.. (2002) (Correct)
0.1: Managing the Integrity of Design Data Generated by.. - Eastman, Parker, Jeng (1997) (Correct)
0.1: Ensuring Rule Consistency in the Presence of DB Updates - Ayla Sayli Saylia (1997) (Correct)
Related documents from co-citation: More All
4: On efficient reasoning with implication constraints - Zhang, Ozsoyoglu - 1993
4: Principles of Database and Knowledge-Base Systems Vol 1 (context) - Ullman - 1988
4: Constraint Query Languages - Kanellakis, Kuper et al. - 1990
BibTeX entry: (Update)
Ishakbeyoglu, N. S., and Z. M. Ozsoyoglu, (1993), On the Maintenance of Implication Integrity Constraints, 4th Int. Conf. on Database and Expert Systems Applications (DEXA), Prague, Czech Republic, pp. 221-232, (also in LNCS 720). http://citeseer.ist.psu.edu/article/ishakbeyoglu93maintenance.html More
@inproceedings{ ishakbeyoglu93maintenance,
author = "Naci Ishakbeyoglu and Z. Meral Ozsoyoglu",
title = "On the Maintenance of Implication Integrity Constraints",
booktitle = "Database and Expert Systems Applications",
pages = "221-232",
year = "1993",
url = "citeseer.ist.psu.edu/article/ishakbeyoglu93maintenance.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
103 Automated Deduction by Theory Resolution - Stickel - 1985 ACM DBLP
96 the Semantics of Updates in Databases (context) - Fagin, Ullman et al. - 1983
96 On Conjunctive Queries Containing Inequalities (context) - Klug - 1988
82 Logic for Computer Science: Foundations of Automatic Theorem.. (context) - Gallier - 1986 ACM
76 Principles of Database and Knowledge-base Systems Vol (context) - Ullman - 1988
76 Principles of Database and Knowledge-base Systems Vol II (context) - Ullman - 1989
63 A Uniform Approach to Constraint Satisfaction and Constraint.. (context) - Bry, Decker et al. - 1988 ACM DBLP
62 The Transitive Reduction of a Directed graph (context) - Aho, Garey et al. - 1972 DBLP
48 A Theorem-proving Approach to Database Integrity (context) - Sadri, Kowalski - 1988
39 Design and Implementation of a Semantic Query Optimizer (context) - Shenoy, Ozsoyoglu - 1989 ACM DBLP
38 Processing Conjunctive Predicates and Queries (context) - Rosenkrantz, Hunt - 1980
34 Automatic Generation of Production Rules for Integrity Maint.. (context) - Ceri, Fraternali et al. - 1994 ACM DBLP
28 Automatic Rule Derivation for Semantic Query Optimization (context) - Siegel - 1988 ACM DBLP
27 A System for Semantic Query Optimization (context) - Shenoy, Ozsoyoglu - 1987 ACM DBLP
26 Integrity Control in Relational Database Systems - An Overvi.. (context) - Grefen, Apers - 1993 DBLP
26 Integrity Checking for Multiple Updates (context) - Hsu, Imielinski - 1985 ACM DBLP
24 Checking Consistency of Database Constraints: A Logical Basi.. (context) - Bry, Manthey - 1986 DBLP
21 Automatic Knowledge Acquisition and Maintenance for Semantic.. (context) - Yu, Sun - 1989 ACM DBLP
19 Belief Revision: An Introduction (context) - Gardenfors - 1992
16 Contributions to the View Update Problem (context) - Rossi, Naqvi - 1989 DBLP
13 On Verification of Database Temporal Constraints (context) - Kung - 1985 ACM DBLP
12 Implication and Referential Constraints: A New Formal Reason.. - Zhang, Ozsoyoglu - 1997 DBLP
7 A Decision Procedure for Conjunctive Query Disjointness (context) - Elkan - 1989
7 Maintaining State Constraints in Relational Databases: A Pro.. (context) - McCune, Henschen - 1989 ACM DBLP
5 A Temporal Framework for Information Systems Specification a.. (context) - Kung - 1984
3 On Determining Tree Query Membership of a Distributed Query (context) - Yu, Ozsoyoglu - 1984
2 Maintenance of Semantic Integrity Constraints Under Database.. (context) - Ishakbeyoglu, Ozsoyoglu - 1991
2 Adaptive Predicate Managers in Database Systems (context) - Bottcher, Jarke et al. - 1986 ACM DBLP
2 Inconsistency of Production Systems (context) - Buning, Lowen et al. - 1988 DBLP
2 Making the Knowledge Base Systems More Efficient: A Method t.. (context) - Illarramendi, Blanco et al. - 1994
2 Cambridge Tracks in Theoretical Computer Science (context) - Winslett - 1990
1 A Simplification Algorithm for Integrity Assertions and Conc.. (context) - Ishakbeyoglu, Ozsoyoglu et al. - 1981
1 Constructing Partial and Complete Intelligent Answers for Re.. - Zhang, Ozsoyoglu - 1995
1 A Deduction System for Implication Integrity Constraints (context) - Ishakbeyoglu, Ozsoyoglu - 1992
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)
Testing Satisfiability Of A Conjunction Of Inequalities - Naci Ishakbeyoglu (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