Results 1  10
of
132
On Specifying Database Updates
, 1992
"... this paper, including transaction logs and historical queries, the complexity of query evaluation, actualized transactions, logic programming approaches to updates, database views and state constraints. / This paper consolidates and expands on a variety of results, some of which have been describ ..."
Abstract

Cited by 79 (8 self)
 Add to MetaCart
this paper, including transaction logs and historical queries, the complexity of query evaluation, actualized transactions, logic programming approaches to updates, database views and state constraints. / This paper consolidates and expands on a variety of results, some of which have been
Transaction Logic Programming
, 1993
"... An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. Transaction Logic has a natural model theory and a sound and complete proof theory, but unlike many other log ..."
Abstract

Cited by 127 (21 self)
 Add to MetaCart
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. Transaction Logic has a natural model theory and a sound and complete proof theory, but unlike many other
An Overview of Transaction Logic
 Theoretical Computer Science
, 1994
"... This paper presents an overview of Transaction Logica new formalism recently introduced in [11, 12] and designed to deal with the phenomenon of state changes in logic programming, databases, and AI. Transaction Logic has a natural model theory and a sound and complete proof theory. Unlike many ot ..."
Abstract

Cited by 110 (29 self)
 Add to MetaCart
This paper presents an overview of Transaction Logica new formalism recently introduced in [11, 12] and designed to deal with the phenomenon of state changes in logic programming, databases, and AI. Transaction Logic has a natural model theory and a sound and complete proof theory. Unlike many
Monotone expansions of updates in logical databases
 In: Proc. of 5th International Conference LPNMR’99. LNAI 1730
, 1999
"... Abstract. To find a minimal real change after an update of a database with integrity constraints (IC) expressed by an extended logic program is proven to be a Σp2complete problem. We define a class of operators expanding the input updates correctly with respect to the IC. The particular monotone e ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Abstract. To find a minimal real change after an update of a database with integrity constraints (IC) expressed by an extended logic program is proven to be a Σp2complete problem. We define a class of operators expanding the input updates correctly with respect to the IC. The particular monotone
Integrity Constraints and Constraint Logic Programming
 In INAP Organnizing Committee, editor, Proceedings of 12th International Conference on Applications of Prolog (INAP'99
, 1999
"... It is shown that constraint logic is useful for evaluation of integrity constraints in deductive databases. Integrity constraints are represented as calls to a metainterpreter for negationasfailure implemented as a constraint solver. This procedure, called lazy negationas failure, yields an incre ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
There is a relationship between integrity constraints in databases and the constraints of constraint logic programming going beyond the partial overlap of the names applied for these phenomena. Both concern conditions that should be ensured for systems of interdependent entities: the different tuples in a
Database programming in Transaction Logic
 In Proc. 4th Int. Workshop on Database Programming Languages
, 1993
"... This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. It has a natural model theory and a sound and complete ..."
Abstract

Cited by 29 (13 self)
 Add to MetaCart
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. It has a natural model theory and a sound and complete
Logics for Databases and Information Systems
, 1998
"... We propose an extension of classical predicate calculus, called Transaction Logic, which provides a logical foundation for the phenomenon of state changes in logic programs and databases. Transaction Logic comes with a natural model theory and a sound and complete proof theory. The proof theory not ..."
Abstract

Cited by 28 (3 self)
 Add to MetaCart
We propose an extension of classical predicate calculus, called Transaction Logic, which provides a logical foundation for the phenomenon of state changes in logic programs and databases. Transaction Logic comes with a natural model theory and a sound and complete proof theory. The proof theory
A Logic For Programming Database Transactions
, 1998
"... : We propose an extension of classical predicate calculus, called Transaction Logic, which provides a logical foundation for the phenomenon of state changes in logic programs and databases. Transaction Logic comes with a natural model theory and a sound and complete proof theory. The proof theory n ..."
Abstract

Cited by 44 (21 self)
 Add to MetaCart
: We propose an extension of classical predicate calculus, called Transaction Logic, which provides a logical foundation for the phenomenon of state changes in logic programs and databases. Transaction Logic comes with a natural model theory and a sound and complete proof theory. The proof theory
A Logic Approach to Database Dynamic Updating
"... Abstract — We introduce a logicbased 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 consis ..."
Abstract
 Add to MetaCart
Abstract — We introduce a logicbased 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
A Logic Approach to Database Dynamic Updating
"... Abstract — We introduce a logicbased 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 consis ..."
Abstract
 Add to MetaCart
Abstract — We introduce a logicbased 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
Results 1  10
of
132