Loading...
Please wait, while we are loading the content...
Similar Documents
A Logic Approach to Database Dynamic Updating
| Content Provider | CiteSeerX |
|---|---|
| Abstract | Abstract — We introduce a logic-based framework for database updating under constraints. In our framework, the constraints are represented as an instantiated extended logic program. When performing an update, database consistency may be violated. We provide an approach of maintaining database consistency, and study the conditions under which the maintenance process is deterministic. We show that the complexity of the computations and decision problems presented in our framework is in each case polynomial time. Keywords—Databases, knowledge bases, constraints, updates, minimal change, consistency. I. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Case Polynomial Time Minimal Change Instantiated Extended Logic Program Database Consistency Logic Approach Logic-based Framework Database Dynamic Updating Decision Problem Maintenance Process Keywords Database |
| Content Type | Text |
