A Dynamic View of Active Integrity Constraints
نویسندگان
چکیده
Active integrity constraints have been introduced in the database community as a way to restore integrity. We view active integrity constraints as programs of Dynamic Logic of Propositional Assignments DL-PA and show how several semantics of database repair that were proposed in the literature can be characterised by DL-PA formulas. We moreover propose a new definition of repair. For all these definitions we provide DL-PA counterparts of decision problems such as the existence of a repair or the existence of a unique repair.
منابع مشابه
A General Treatment of Dynamic Integrity Constraints
This paper introduces a general, set-theoretic model for expressing dynamic integrity constraints, i.e., integrity constraints on the state changes that are allowed in a given state space. In a managerial context, such dynamic integrity constraints can be seen as representations of ``real world'' constraints and business rules. This topic has important practical applications in many business ar...
متن کاملEvants and Events rules in Active Databases
Change definition and computation is an essential component in several capabilities of an active database, such as integrity constraints checking, materialized view maintenance and condition monitoring. We describe a method for change definition and computation, which is general and flexible. The method can be implemented easily in most active databases systems.
متن کاملA Specification Language for Static, Dynamic and Deontic Integrity Constraints
In the proof-theoretic view of knowledge bases (KB's), a KB is a set of facts (atomic sentences) and integrity constraints (IC's). An IC is then a sentence which must at least be consistent with the other sentences in the KB. This view obliterates the distinction between, for example, the constraint that age is a non-negative integer (which is mae of the universe of discottrse (UoD) but may be ...
متن کاملRepairing ABoxes through Active Integrity Constraints
In the literature of database repairing, active integrity constraints have provided a means of restoring integrity through a set of preferred update actions. While this is a known issue in the database community, it has not yet been directly applied to description logics. In this paper, we extend description logic TBoxes by a similar set of preferred actions and tackle the problem of ABox repai...
متن کاملSpecifying Dynamic and Deontic Integrity Constraints
In the dominant view of knowledge bases (KB's), a KB is a set of facts (atomic sentences) and integrity constraints (IC's). An IC is then a sentence which must at least be consistent with the other sentences in the KB. This view obliterates the distinction between, for example, the constraint that age is a natural number (which is true of the universe of discourse (UoD) but may be false in a pa...
متن کامل