Filters








152,960 Hits in 4.5 sec

Query Answering in Information Systems with Integrity Constraints [chapter]

François Bry
1997 Integrity and Internal Control in Information Systems  
Keywords Query answering, integrity constraints, database and information system integrity, paraconsistent reasoning, minimal logic.  ...  Further, minimal logic is shown to be a convenient foundation for query answering in information systems with integrity constraints.  ...  While minimal logic is not complete for full classical logic, it is complete for positive definite or disjunctive deductive databases without integrity constraints.  ... 
doi:10.1007/978-0-387-35317-3_6 fatcat:2jtlxdq2z5cznnzmfzznorvzny

Dynamic integrity constraints definition and enforcement in databases: a classification framework [chapter]

M. A. Pacheco Silva
1997 Integrity and Internal Control in Information Systems  
Since the database is expected to satisfy such conditions, a fundamental issue about integrity constraints is their enforcement. Many methods have been developed in this respect.  ...  A dynamic constraint expresses conditions that involve facts of two or more states of the database.  ...  Acknowledgements The author is very grateful to Maria Ribera Sancho, Antoni Olive, Joan Antoni Pastor, Emic Mayol and the anonymous reviewers for their useful comments and suggestions.  ... 
doi:10.1007/978-0-387-35317-3_4 fatcat:gyyz3ehp2bfghfmlodgdf6eebq

Integrity Constraints for General-Purpose Knowledge Bases [chapter]

Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
2016 Lecture Notes in Computer Science  
Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity.  ...  In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding  ...  We would like to thank Graça Gaspar for introducing us to the exciting topic of integrity constraints and for many fruitful discussions.  ... 
doi:10.1007/978-3-319-30024-5_13 fatcat:xztfttlhynhiznkbufnnvmbmie

Page 163 of Journal of Research and Practice in Information Technology Vol. 17, Issue 4 [page]

1985 Journal of Research and Practice in Information Technology  
Keywords and Phrases: Database management, deductive database, query language, integrity constraint, logic programming, Prolog.  ...  In this paper we advocate the use of a version of typed first order logic for defining data, queries, and integrity constraints in deductive database systems.  ... 

Temporal Integrity Constraints [chapter]

Jef Wijsen
2016 Encyclopedia of Database Systems  
HISTORICAL BACKGROUND The use of first-order temporal logic for expressing temporal integrity constraints dates back to the early eighties (see for example [7] ).  ...  Languages for expressing temporal integrity constraints extend first-order logic with explicit timestamps or with temporal connectives.  ...  If a database satisfies all the integrity constraints, it is called consistent. Integrity constraints are commonly expressed in a declarative way using logic.  ... 
doi:10.1007/978-1-4899-7993-3_400-2 fatcat:6trxo4lqk5aqbltxkg3jomyql4

View Constraints: an Interpretation of Integrity Constraints for Security [chapter]

Patrizia Asirelli
1997 Integrity and Internal Control in Information Systems  
The problem of Integrity Constraints checking in the area of Logic Databases is considered and some research results are presented in which the notion of View Constraints as restriction on a database emerges  ...  This notion is presented and compared with the general notion of Integrity Constraints. Some examples are given and implementation issues are discussed.  ...  Integrity Constraints checking in the area of Logic Databases and presented some research results that account for two different notions of constraints.  ... 
doi:10.1007/978-0-387-35317-3_13 fatcat:nvd3crng35dxfoldeanzgmekvi

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents [chapter]

Robert Kowalski, Fariba Sadri
2009 Lecture Notes in Computer Science  
The semantics and proof procedures are based on abductive logic programming, in which logic programs are integrated with integrity constraints that behave like production rules.  ...  In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework.  ...  semantics with an operational semantics that operates with the current state of a destructively changing database.  ... 
doi:10.1007/978-3-642-05082-4_1 fatcat:btdhdr5b5rg5favxoixqz2e534

Temporal Integrity Constraints [chapter]

Hans Hinterberger, Josep Domingo-Ferrer, Vipul Kashyap, Vijay Khatri, Richard T. Snodgrass, Paolo Terenziani, Manolis Koubarakis, Yue Zhang, James B. D. Joshi, Johann Gamper, Michael Böhlen, Christian S. Jensen (+145 others)
2009 Encyclopedia of Database Systems  
HISTORICAL BACKGROUND The use of first-order temporal logic for expressing temporal integrity constraints dates back to the early eighties (see for example [7] ).  ...  Languages for expressing temporal integrity constraints extend first-order logic with explicit timestamps or with temporal connectives.  ...  If a database satisfies all the integrity constraints, it is called consistent. Integrity constraints are commonly expressed in a declarative way using logic.  ... 
doi:10.1007/978-0-387-39940-9_400 fatcat:sfrzk2obmbf7lmtiz2saetuvhu

Query Answering in Inconsistent Databases [chapter]

Leopoldo Bertossi, Jan Chomicki
2004 Logics for Emerging Applications of Databases  
Acknowledgments This paper is dedicated to the memory of Ray Reiter whose pioneering work on logical foundations of databases laid the foundation for and influenced many research efforts in that area,  ...  (A constraint is generic if no ground database literal is a logical consequence of it.) For example, we may have the query R(u, v) ∧ ¬P (u, v), and the binary integrity constraints IC = {∀x, y.  ...  Or, integrity checking may be too costly (this is often the reason for dropping some integrity constraints from a database schema).  ... 
doi:10.1007/978-3-642-18690-5_2 fatcat:fewsol3sqnfhnmtnuolcfzmi7q

An Experimental CLP Platform for Integrity Constraints and Abduction [chapter]

Slim Abdennadher, Henning Christiansen
2001 Flexible Query Answering Systems  
Integrity constraint and abduction are important in query-answering systems for enhanced query processing and for expressing knowledge in databases.  ...  Section 3 presents a translation of logic programs with integrity constraints into CHR ¥ programs. In Section 4, we show how abductive frameworks can be formalized in CHR ¥ .  ...  Programs of constraint logic languages with integrity constraints, important for describing "fine-grained" query evaluation and for constraint databases, can be written directly as CHR ¥ programs that  ... 
doi:10.1007/978-3-7908-1834-5_13 dblp:conf/fqas/AbdennadherC00 fatcat:odzjf3puhnc4dig42cgz5qnvya

CPN based Data Integrity Evaluation for Cloud Transactions
english

Yoshiyuki Shinkawa
2012 Proceedings of the 7th International Conference on Software Paradigm Trends  
The evaluation is performed based on the given constraints on database records expressed in the form of predicate logic formulae, and examined by CPN/ML codes implemented as the guard functions of the  ...  transitions for integrity verification.  ...  A transition for assuring data integrity of which guard function is boolean and logically equivalent to the constraints for the integrity (Transition "A" in Figure 2 ). 3.  ... 
doi:10.5220/0004120702670272 dblp:conf/icsoft/Shinkawa12a fatcat:ikifirsjnnaw5bc6m6x3wppcty

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2020 International Workshop on Description Logics  
In the database literature it has been proposed to resort to active integrity constraints in order to restore database integrity.  ...  We do so from the perspective of Dynamic Logic, viewing active integrity constraints as programs that test whether a constraint is violated and if so perform appropriate update actions.  ...  The TBoxes of Description Logic knowledge bases bear resemblances with integrity constraints.  ... 
dblp:conf/dlog/FeuilladeHR20 fatcat:y5my73cbcrcy5cbqzjsw4s5kqm

Integrity constraints in logic databases

Patrizia Asirelli, Michelle De Santis, Maurizio Martelli
1985 The Journal of Logic Programming  
We consider logic databases as logic programs and suggest how to deal with the problem of integrity constraint checking. Two methods for integrity constraint handling are presented.  ...  The second method is based on a transformation of the logic program which represents the database into a logic program which satisfies the given integrity constraints.  ...  Bellia for many useful discussions,  ... 
doi:10.1016/0743-1066(85)90020-2 fatcat:jtss7pdkiretrinw6js2obfw6q

An ID-Logic Formalization of the Composition of Autonomous Databases [chapter]

Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
2005 Lecture Notes in Computer Science  
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitions.  ...  We consider ID-logic theories that express, at the same time, the two basic challenges in database composition problems: relating different schemas of the local databases to one global schema (schema integration  ...  integrity constraints, 2. identify inconsistencies (i.e., violations of integrity constraints) and resolve them by making some (minimal amount of) changes in the unified database, 3 . search for solutions  ... 
doi:10.1007/11546207_11 fatcat:hixad6yey5h65hb6w7duh7svuy

Toward a uniform logical representation of different kinds of integrity constraints [chapter]

Robert Demolombe, Andrew J. I. Jones, Jose Carmo
1997 Lecture Notes in Computer Science  
We have outlined a logical framework for the representation of some species of database integrity constraints. In each case, the constraints were represented as obligation sentences.  ...  Conclusion We have outlined a logical framework for the representation of some species of database integrity constraints. In each case, the constraints were represented as obligation sentences.  ... 
doi:10.1007/bfb0035653 fatcat:jsvvwqswrzcd7n6wcrt23cbste
« Previous Showing results 1 — 15 out of 152,960 results