Revision programming = Logic programming + integrity constraints

Victor Marek; Inna Pivkina; Mirosław Truszczyński

doi:10.1007/10703163_6

Revision programming = Logic programming + integrity constraints

Victor Marek, Inna Pivkina, Mirosław Truszczyński

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

9 Scopus citations

Abstract

We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justified revision based on a revision program. We show that for any program P and for any pair of initial databases I and I’ we can transform (shift) the program P to a program P’ so that the size of the resulting program does not increase and so that P-justified revisions of I are shifted to P’-justified revisions of I’. Using this result we show that revision programming is closely related to a subsystem of general logic programming of Lifschitz and Woo. This, in turn, allows us to reduce revision programming to logic programming extended by the concept of a constraint with a suitably modified stable model semantics. Finally, we use the connection between revision programming and general logic programming to introduce a disjunctive version of our formalism.

Original language	English
Title of host publication	Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings
Editors	Georg Gottlob, Katrin Seyr, Etienne Grandjean
Pages	73-89
Number of pages	17
DOIs	https://doi.org/10.1007/10703163_6
State	Published - 1999
Event	12th International Workshop on Computer Science Logic, CSL 1998 held as the Annual Conference of the European Association for Computer Science Logic, EACSL 1998 - Brno, Czech Republic Duration: Aug 24 1998 → Aug 28 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1584
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Workshop on Computer Science Logic, CSL 1998 held as the Annual Conference of the European Association for Computer Science Logic, EACSL 1998
Country/Territory	Czech Republic
City	Brno
Period	8/24/98 → 8/28/98

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/10703163_6

Cite this

Marek, V., Pivkina, I., & Truszczyński, M. (1999). Revision programming = Logic programming + integrity constraints. In G. Gottlob, K. Seyr, & E. Grandjean (Eds.), Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings (pp. 73-89). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1584). https://doi.org/10.1007/10703163_6

Marek, Victor ; Pivkina, Inna ; Truszczyński, Mirosław. / Revision programming = Logic programming + integrity constraints. Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings. editor / Georg Gottlob ; Katrin Seyr ; Etienne Grandjean. 1999. pp. 73-89 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7a36b8a6af8b427daff72b41aada8586,

title = "Revision programming = Logic programming + integrity constraints",

abstract = "We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justified revision based on a revision program. We show that for any program P and for any pair of initial databases I and I{\textquoteright} we can transform (shift) the program P to a program P{\textquoteright} so that the size of the resulting program does not increase and so that P-justified revisions of I are shifted to P{\textquoteright}-justified revisions of I{\textquoteright}. Using this result we show that revision programming is closely related to a subsystem of general logic programming of Lifschitz and Woo. This, in turn, allows us to reduce revision programming to logic programming extended by the concept of a constraint with a suitably modified stable model semantics. Finally, we use the connection between revision programming and general logic programming to introduce a disjunctive version of our formalism.",

author = "Victor Marek and Inna Pivkina and Miros{\l}aw Truszczy{\'n}ski",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 12th International Workshop on Computer Science Logic, CSL 1998 held as the Annual Conference of the European Association for Computer Science Logic, EACSL 1998 ; Conference date: 24-08-1998 Through 28-08-1998",

year = "1999",

doi = "10.1007/10703163_6",

language = "English",

isbn = "3540659226",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "73--89",

editor = "Georg Gottlob and Katrin Seyr and Etienne Grandjean",

booktitle = "Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings",

}

Marek, V, Pivkina, I & Truszczyński, M 1999, Revision programming = Logic programming + integrity constraints. in G Gottlob, K Seyr & E Grandjean (eds), Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1584, pp. 73-89, 12th International Workshop on Computer Science Logic, CSL 1998 held as the Annual Conference of the European Association for Computer Science Logic, EACSL 1998, Brno, Czech Republic, 8/24/98. https://doi.org/10.1007/10703163_6

Revision programming = Logic programming + integrity constraints. / Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław.
Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings. ed. / Georg Gottlob; Katrin Seyr; Etienne Grandjean. 1999. p. 73-89 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1584).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Revision programming = Logic programming + integrity constraints

AU - Marek, Victor

AU - Pivkina, Inna

AU - Truszczyński, Mirosław

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justified revision based on a revision program. We show that for any program P and for any pair of initial databases I and I’ we can transform (shift) the program P to a program P’ so that the size of the resulting program does not increase and so that P-justified revisions of I are shifted to P’-justified revisions of I’. Using this result we show that revision programming is closely related to a subsystem of general logic programming of Lifschitz and Woo. This, in turn, allows us to reduce revision programming to logic programming extended by the concept of a constraint with a suitably modified stable model semantics. Finally, we use the connection between revision programming and general logic programming to introduce a disjunctive version of our formalism.

AB - We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justified revision based on a revision program. We show that for any program P and for any pair of initial databases I and I’ we can transform (shift) the program P to a program P’ so that the size of the resulting program does not increase and so that P-justified revisions of I are shifted to P’-justified revisions of I’. Using this result we show that revision programming is closely related to a subsystem of general logic programming of Lifschitz and Woo. This, in turn, allows us to reduce revision programming to logic programming extended by the concept of a constraint with a suitably modified stable model semantics. Finally, we use the connection between revision programming and general logic programming to introduce a disjunctive version of our formalism.

UR - http://www.scopus.com/inward/record.url?scp=22644450876&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=22644450876&partnerID=8YFLogxK

U2 - 10.1007/10703163_6

DO - 10.1007/10703163_6

M3 - Conference contribution

AN - SCOPUS:22644450876

SN - 3540659226

SN - 9783540659228

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 73

EP - 89

BT - Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings

A2 - Gottlob, Georg

A2 - Seyr, Katrin

A2 - Grandjean, Etienne

T2 - 12th International Workshop on Computer Science Logic, CSL 1998 held as the Annual Conference of the European Association for Computer Science Logic, EACSL 1998

Y2 - 24 August 1998 through 28 August 1998

ER -

Marek V, Pivkina I, Truszczyński M. Revision programming = Logic programming + integrity constraints. In Gottlob G, Seyr K, Grandjean E, editors, Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings. 1999. p. 73-89. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/10703163_6

Revision programming = Logic programming + integrity constraints

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this