Loading...
Please wait, while we are loading the content...
Similar Documents
Determining Correct View Update Translations via Query Containment (1994)
| Content Provider | CiteSeerX |
|---|---|
| Author | Tomasic, Anthony |
| Description | International Conference on Logic Programming Workshop on Deductive Databases Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update problem uses a translation langauge to specify the meaning of a view update. In this paper we prove properties of a translation language. This approach to the view update problem studies the expressive power of the translation language and the computational cost of demonstrating properties of a translation. We use an active rule based database language for specifying translations of view updates. This paper uses the containment of one datalog program (or conjunctive query) by another to demonstrate that a translation is semantically correct. We show that the complexity of correctness is lower for insertion than deletion. Finally, we discuss extensions to the translation language. 1 Introduction A deductive database consists of an intensional (IDB) and extensional database (EDB). In the case of datalog, the m... |
| File Format | |
| Language | English |
| Publisher Date | 1994-01-01 |
| Access Restriction | Open |
| Subject Keyword | Introduction Deductive Database View Update Problem Study View Update Problem Computational Cost Intensional Database Expressive Power Translation Language Translation Langauge Active Rule View Update Query Containment Correct View Update Translation Extension Database Datalog Program Extensional Database Database Language |
| Content Type | Text |
| Resource Type | Article |
