Abiteboul, S., "Updates: A New Frontier, in M. Gyssens, et al eds, Proceedings of the Second International Conference on Database Theory, LNCS 326, pp. 1-18, Springer 1988. 16  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is a crucial component of intelligent behavior. In recent years this problem has received much attention from the artificial intelligence community. Consequently different researchers have put forward different proposals, with different applications in mind, including database dynamics [1], reason maintenance systems [6, 7] reasoning about actions [14, 39] belief change in a static world [9] belief change in a dynamic world [23] and nonmonotonic logics [5, 24] to mention only a few. An approach to rational belief change that has influenced much of this discussion is the AGM ....

Abiteboul, S., "Updates: A New Frontier, in M. Gyssens, et al eds, Proceedings of the Second International Conference on Database Theory, LNCS 326, pp. 1-18, Springer 1988. 16

....minimal model reasoning, belief dynamics 1. Introduction View update in databases is an important problem that has recently attracted attention of researchers from both deductive and relational fields [AD95, Bry90, Dec90, Dec96, GL90, GL91, KM90, Tom88, DB82, Kel85, Lan90, for example] [Abi88] provides a survey of works in this regard) One crucial aspect of an algorithm for view update is the satisfaction of certain rationality postulates stemming from philosophical works on rationality of change [Gar92, GR95, for example] This aspect was studied in detail in [AD95, Ara95] where an ....

S. Abiteboul. Updates: A new frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proceedings of the second international conference on database theory, volume Lecture Notes in Computer Science 326, pages 1--18. Springer-Verlag, 1988.

....transformation and show how the problem can be solved in a framework based on SLD resolution. 1 Introduction View update in databases is an important problem that has recently attracted attention of researchers from both deductive and relational elds [3, 4, 6, 7, 9, 10, 13, 20, 5, 12, 14] [2] provides a survey of works in this regard) A disjunctive deductive database (DDDB) is a collection of data separated into two parts. One part is called the extensional database (EDDB) it represents the set of (possibly indenite) facts know about the world. It is a nite set of ground positive ....

S. Abiteboul. Updates: A new frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proceedings of the second international conference on database theory, volume Lecture Notes in Computer Science 326, pages 118. Springer-Verlag, 1988.

....system that provides the users with a uniform interface in which they can request different kinds of updates, i.e. updates of base facts, updates of derived facts, updates of deductive rules and updates of integrity constraints. Several problems may arise when updating a deductive database [Abi88]. During last years much research has been devoted to different database updating problems like view updating [KM90, LS91, GL91, TO95, CHM95, Dec96] materialized view maintenance [CW91, HD92, UO92, GMS93, GM95] integrity constraints checking [BDM88, SK88, DW89, K c91, Oli91, GCM 94] integrity ....

Abiteboul, S. "Updates, a new frontier", Proc. ICDT 88, Springer, 1988, pp. 1-18.

....the marked database is called consistent. It has been shown in [LPS92] that marked databases provide a framework in which every insertion or deletion of a tuple can be done in a deterministic way. Thus, marked databases avoid the problems of non deterministic updating in traditional approaches [Abi88, AtT92, BDM88, LaS94, LeS88, Win88]. Example 1. continued) Consider the marked database defined earlier: ut = fab; bc; ac 0 g and mt = fac; bc 0 g: The tuples ac and bc 0 are false (as they are in mt) and so is every supertuple of ac (according to the extension rule) On the other hand, the tuples ab; bc and ac 0 are ....

S. Abiteboul, "Updates, a New Frontier," Proc. 2nd ICDT 1988, Springer LNCS 326, 1--18.

....satisfy certain rationality postulates stemming from philosophical works on belief dynamics. 1 Introduction View update in databases is an important problem that has recently attracted attention of researchers from both deductive and relational fields [6, 10, 13, 17, 24, 9, 18, 19, for example] [1] provides a survey of works in this regard) One crucial aspect of an algorithm for view update is the satisfaction of rationality postulates stemming from philosophical works on rationality of change [11, 12, for example] This aspect was studied in detail in [6, 4] where an algorithm for ....

S. Abiteboul. Updates: A new frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proceedings of the second international conference on database theory, volume Lecture Notes in Computer Science 326, pages 1--18. Springer-Verlag, 1988.

....in an integrated way the integrity constraints enforcement approaches mentioned above. KEYWORDS: deductive database, updating, integrity checking, integrity maintenance June 2 1. Introduction Deductive database updating has attracted a lot of research during last years (see for example [Abi88, Win90]) In general, several problems may arise when updating a deductive database. One of the most important problems is that of enforcing database consistency. A deductive database is called consistent if it satisfies a set of integrity constraints. When performing an update, deductive database ....

Abiteboul, S. "Updates, a New Frontier", Int. Conf. on Database Theory (ICDT'88), Springer, 1988, pp. 1 - 18.

....databases include an update processing system that provides the users with a uniform interface in which they can request different kinds of updates, i.e. updates of base facts, updates of derived facts, updates of deductive rules. Several problems may arise when updating a deductive database [Abi88]. During last years much research has been devoted to different database updating problems like view updating [Dec90, KM90, GL91, TA91, TO92] materialized view maintenance [CW91, HD92, UO92, GMS93] integrity constraints checking [BDM88, SK88, DW89, K c91, Oli91, GCM 94] integrity constraints ....

Abiteboul, S. "Updates, a new frontier", Proc. ICDT 88, Springer, 1988, pp. 1-18.

....system that provides the users with a uniform interface in which they can request different kinds of updates, i.e. updates of base facts, updates of derived facts, updates of deductive rules and updates of integrity constraints. In general, several problems may arise when updating a knowledge base [Abi88, Kow92]. Perhaps the best known problem is that of integrity constraints checking. An integrity constraint is a condition that a knowledge base is required to satisfy at any time. Integrity checking is the process of verifying that a given base update (a set of insertions and or deletions of base facts) ....

Abiteboul, S. "Updates, a new frontier", Proc. ICDT 88, Springer, 1988, pp. 1-18.

.... which arises in this context is the following: given a class of updatedriven rules, which kind of integrity constraints do they take into account We think that our approach provides a novel formal framework which should lead to extensions of already known results as, for instance, those of [Abi88, AbV88, BDM88]. ....

S. Abiteboul, "Updates, a New Frontier," Intl. Conf. on Database Theory ICDT, LNCS, Springer-Verlag, 1988.

....technique for being able to handle in an integrated way the integrity constraints enforcement approaches mentioned above. KEYWORDS: deductive database, updating, integrity checking, integrity maintenance 1 1. Introduction Database updating has attracted a lot of research during last years ([Abi88, Win90]) In general, several problems may arise when updating a deductive database [TU95] One of the most important problems is that of enforcing database consistency. A deductive database is called consistent if it satisfies a set of integrity constraints. When performing an update, database ....

Abiteboul, S. "Updates, a New Frontier", Int. Conf. on Database Theory (ICDT'88), Springer, 1988, pp.1-18.

....expansion, because while Bp is derivable p is not. We thus need a revision method for nonmonotonic theories that can retract previously derived formulas automatically. In the context of databases, on the other side, update of deductive databases is usually captured as the view update problem [ Abiteboul, 1988 ] Namely, in a deductive database, update on virtual relations in an intensional database has to be translated into update on real facts in an extensional database. It is also known that database update is closely related to abduction in AI. Kakas and Mancarella [ 1990 ] present that view update ....

Serge Abiteboul. Updates: a new frontier. In: Proceedings of the 2nd International Conference on Database Theory, Lecture Notes in Computer Science, 326, pages 1--18, Springer, 1988.

.... A lot of algorithms have been proposed for view updates in relational databases [DB, Ke, La, and the references therein] and algorithms based on deduction trees have been proposed to carry out view updates on deductive databases [Br, D, GL1, GL2, KaM, PCA, SK, T, and the references therein] [A] provides a good survey of view updates in databases) Clearly, these algorithms for view updates are not at all arbitrary, and there are certain guiding factors behind them. For example, all the view definitions are considered as immutable and any algorithm for view update changes only the base ....

Abiteboul,S., Updates: A new Frontier, In: M.Gyssens, J.Paredaens, and D.Van Gucht (eds.), Proc. of the second international conference on database theory, LNCS 326, Springer-Verlag, 1988, pp. 1--18.

....of logical query evaluation can be generalized for effective execution of updates. Keywords: bulk updates, hypothetical reasoning, logical queries, alternating fixpoint semantics, database languages. 1 Introduction Updates play an important role in modeling dynamic behaviors in database systems [1, 24]. Various languages have been proposed for specifying database updates. Examples include procedural languages [4] Datalog extensions with inflationary semantics [3] Datalog extensions with top down computation [7, 25] and extensions of first order logic [9, 12, 30] Both queries and updates can ....

Abiteboul, S. Updates: A new frontier. In Intl. Conference on Database Theory, 1988.

....integration of integrity checking during the derivation process. The method has the full power of the methods developed so far, without some of their limitations. 1. Introduction The view update problem of relational and deductive databases has attracted a lot of research during the past years [1,2,5,6,7,8,9,11,13,16]. The aim is to provide effective methods for translating view updates into (correct) database updates. Two basic approaches have been proposed to solve the problem. The first suggests treating views as abstract data types, so that the definition of a view includes all permissible view updates ....

....now focus on the problem of view updating in deductive databases. This problem is a generalization of the view update problem of relational databases, which is concerned with determining how a request to update a view can be appropriately translated into an update of the underlying relations (see [1,2,5,7]) Usually, there are several ways of satisfying an update request. Our approach consists in generating all possible minimal translations for a given update request. We consider only translations that consist of insertions and deletions of ground facts of base predicates. For this reason, updates ....

Abiteboul, S. "Updates, a new frontier", Proc. ICDT 88, Springer, 1988, pp. 1-18.

....which maintenance of integrity constraints should be performed. Moreover, we use also this technique for being able to handle in an integrated way the integrity constraints enforcement approaches mentioned above. 1. Introduction Database updating has attracted a lot of research during last years [Abi88]. Several problems may arise when updating a deductive database [TU95] One of the most important problems is that of enforcing database consistency. A deductive database is called consistent if it satisfies a set of integrity constraints. When performing an update, database consistency may be ....

Abiteboul, S. "Updates, a New Frontier", Int. Conf. on Database Theory (ICDT'88), Springer, 1988, pp.1-18.

....is a crucial component of intelligent behavior. In recent years this problem has received much attention from the artificial intelligence community. Consequently different researchers have put forward different proposals, with different applications in mind, including database dynamics [1], reason maintenance systems [6, 7] reasoning about actions [14, 42] belief change in a static world [9] belief change in a dynamic world [23] and nonmonotonic logics [5, 25] to mention only a few. An approach to rational belief change that has influenced much of this discussion is the AGM ....

Abiteboul, S., "Updates: A New Frontier, in M. Gyssens", et al. (eds), Proceedings of the Second International Conference on Database Theory, LNCS 326, pp. 1-18, Springer 1988.

....the possible worlds semantics: changing a logical theory leads to a new (set of) model(s) for the changed theory. Another is the concept of closeness : the changed database should maximally resemble 2 Caveat: The paper is far from comprehensive in this respect. For more comprehensive surveys see [1] or [57] the old one, involving minimal change. Two variations are possible here: closeness can be interpreted in either a syntactic (minimal change of the set of formulae) or a semantic sense (minimal change of the set of possible worlds) The work of Winslett [75, 76] is foundational in the ....

S. Abiteboul. Updates: A new frontier. In Second Intl. Conf. on Database Theory, pages 1--18, 1988.

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