Mayol, E.; Teniente, E. "Incorporating Modification Requests in Updating Consistent Knowledge Bases". Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases. Catalonia, 1993, pp. 275-300.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Also, the case of dealing with recursive rules must be studied in more detail. Another interesting improvement would be the treatment of initial qualified update requests. We may also consider the explicit treatment of the modification as a database operation of its own, along the line taken by [UO92,MT93] for similar run time problems. ACKNOWLEDGEMENTS The author would like to thank Antoni Oliv , who encouraged pursuance of this work, as well as the rest of the Odissea Group (Dolors Costal, Carme Martin, Enric Mayol, Carme Quer, Maria R. Sancho, Jaume Sistac, Ernest Teniente and Toni Urp ) for ....

Mayol,E.; Teniente,E. "Incorporating Modification Requests in Updating Consistent Knowledge Databases", 4th. Int. Workshop on the Deductive Approach to Information Systems and Databases, Lloret, Catalonia 1993, pp. 335-360.

....modification; and to incorporate the treatment of key integrity constraints into the own definition of the method. Moreover, we can obtain translations that are not obtained when a modification is handled as a deletion followed by an insertion. A preliminary version of this method was presented in [15]. This paper is organized as follows. Next section reviews basic concepts of deductive databases. Section 3 reviews event and transition rules, that will be used by our method. Section 4 is devoted to the definition of our method. Section 5 compares our method with previous research. Finally, ....

Mayol, E.; Teniente, E. "Incorporating Modification Requests in Updating Consistent Knowledge Bases". Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases. Catalonia, 1993, pp. 275-300.

....constraint maintenance. In the rest of this section, we explain each dimension in detail and present their relevant features. These features are then used to compare the methods that deal with these problems. Ordered according to the date of publication, the methods considered in this survey are [GL90, KM90, ML91, MT93, Wt93, CFPT94, Ger94, CHM95, CST95, TO95, Sch96, Dec97, LT97, Maa98, Sch98]. Results of each method according to those features are summarized in Table 2. 2.1 Problem Addressed Not all methods cover both view updating and integrity constraint maintenance. Moreover, not all methods for view updating incorporate also an integrity maintenance policy. Therefore, we can ....

.... Whether they are able to deal with view updating or not (indicated by Yes or No in the second column of Table 2) Whether they incorporate an integrity constraint checking or an integrity constraint maintenance approach (indicated by check or maintain in the third column) We have that [KM90, MT93, Wt93, CST95, TO95, Dec97, LT97] cover both view updating and integrity constraint maintenance, while [ML91, CFPT94, Ger94, Sch96, Maa98, Sch98] deal only with integrity constraint maintenance and, thus, are not able to handle view updates. Moreover, GL90, CHM95] deal with view updating but apply an integrity constraint ....

[Article contains additional citation context not shown here]

Mayol, E.; Teniente, E. " Incorporating Modification Requests in Updating Consistent Knowledge Bases", Fourth Int. Works. on the Deductive Approach to Information Systems and Databases, Lloret de Mar, 1993, pp. 275-300.

....with a set of rules, called transition and event rules, which explicitly define insertions and deletions induced by an update. These rules are then used for updating a consistent deductive database. A preliminary version of our method where no efficiency issues where considered was presented in [MT93]. The paper is organized as follows. Next section reviews basic concepts of deductive databases. Section 3 reviews the concepts of event, transition rules and event rules. Section 4 discusses the application of these rules to updating consistent deductive databases. In section 5 we compare our ....

....method for updating deductive databases while maintaining their consistency. Our method uses the transition and the event rules described in last section to obtain all possible solutions that satisfy an update request. This description of the method is based on the formal definition presented in [MT93], but in this paper, we put more emphasis in efficiency issues. 4.1. An overview of the method The general approach of our method is to automatically translate a given update request into all possible ways of changing the extensional part of the database such that the requested update is ....

[Article contains additional citation context not shown here]

Mayol, E.; Teniente, E. " Incorporating Modification Requests in Updating Consistent Knowledge Bases", Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases, Lloret de Mar, Catalonia, 1993, pp. 275300.

....relationships between constraints and repairs. Our previous work in the field has been mainly devoted to the definition of a sound and complete method for updating deductive databases while maintaining their consistency [TO95] and on considering efficiency issues on the treatement of view updates [MT93, MT95]. This paper extends our previous work by considering efficiency issues in the treatement of integrity constraints maintenance and also by proposing an approach for incorporating in a single method integrity checking and integrity maintenance. This paper is organised as follows. Next section ....

....Precedence Graph, which explicitly states all relationships between repairs and potential violations of integrity constraints. Information provided by this graph is directly applicable to the methods we have proposed in the past for handling consistent updates in deductive databases (reported in [MT93, MT95, TO95]) and it could be easily adapted to be applicable to the other existing methods. To obtain the Precedence Graph we only need to take into account syntactical information associated to the definition of each integrity constraint and, thus, we do not need to consider the contents of the EDB nor the ....

[Article contains additional citation context not shown here]

Mayol, E.; Teniente, E. " Incorporating Modification Requests in Updating Consistent Knowledge Bases", Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases, Lloret de Mar, Catalonia, 1993, pp. 335-360.

....interrelationships with other updating problems. This was also the case of our group s previous work on the subject. However, a distinguishing feature of the methods we proposed for tasks such as integrity checking and maintenance, view updating and view materialization, and condition monitoring [Oli91, UO92, MT93, TO95, PO95] was the common theoretical basis upon which they all were developed. This basis has facilitated their merging into an integrative framework [Oli91, UO92] and their uniform specification and combination [TU95] in terms of this framework. Furthermore, by using these results, we have been able to ....

.... FOLRE, we have implemented two methods which are able to compute each of these interpretations: the upward method [UO92] computes the upward interpretation and it is able to incrementally handle integrity checking, materialized view maintenance and condition monitoring; while the downward method [MT93, TO95] computes the downward interpretation and deals with view updating and integrity maintenance. We integrate the treatment of updates by using these two methods, which take into account a unique set of event rules. The generation of predefined transactions is also based on taking into account the ....

Mayol, E.; Teniente, E. "Incorporating Modification Requests in Updating Consistent Knowledge Bases", 4th Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD), 1993, pp. 335-360.

....strong interrelationships with other updating problems. This was also the case of our group s previous work on the subject, from which several competitive methods were produced for tasks such as integrity checking and maintenance, view updating and view materialization, and condition monitoring [Oli91, UO92, MT93, TO95, PO95]. However, a distinguishing feature of our methods is the common theoretical basis upon which they all were developed, which has facilitated their merging into a integrative framework [Oli91, UO92] for dealing with update problems in deductive databases as well as for their specification and ....

.... In FOLRE, we have implemented two methods which are able to compute each of these interpretations: The upward method [UO92] computes the upward interpretation and it is able to incrementally handle integrity checking, materialized view maintenance and condition monitoring; the downward method [MT93, TO95] computes the downward interpretation and handles view updating and integrity maintenance appropriately. We integrate the treatment of updates by using these two methods, which take into account a unique set of event rules. The generation of predefined transactions is also based on taking into ....

Mayol, E.; Teniente, E. "Incorporating Modification Requests in Updating Consistent Knowledge Bases", 4th Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD), 1993, pp. 335-360.

....a graph, the Precedence Graph, which explicitly states all relationships between repairs and potential violations of integrity constraints. Information provided by this graph is directly applicable to the methods we have proposed in the past for handling consistent updates in deductive databases [MT93, MT95, TO92, TO95] and it could be easily adapted to be applicable to other existing methods. A different approach to enforce database consistency is integrity checking; which is concerned with developing methods for checking whether a given update violates an integrity constraint (see for example [Oli91, GCMD94] ....

Mayol, E.; Teniente, E. " Incorporating Modification Requests in Updating Consistent Knowledge Bases", Fourth Int. Workshop on the Deductive - 19 - Approach to Information Systems and Databases, Lloret de Mar, Catalonia, 1993, pp. 335-360.

....and a set of updates that violates some integrity constraint, determine a 12 set of additional base fact updates to be appended to the original update set such that the resulting set satisfies all integrity constraints. In our system, these two problems are handled as a whole as proposed in [TO92, MT93, TO95]. Given a user update request which consists of a set of base and view updates, the View Updating and Integrity Constraints Maintenance Module automatically translates the request into transactions consisting only of base fact updates. This translation is performed by taking into account the view ....

Mayol, E.; Teniente, E. "Incorporating Modification Requests in Updating Consistent Knowledge Bases", Fourth International Workshop on the Deductive Approach to Information Systems and Databases, Lloret, 1993, pp. 335-360.

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