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

Producción científica: Conference contribution › revisión exhaustiva

9 Citas (Scopus)

Resumen

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.

Idioma original	English
Título de la publicación alojada	Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings
Editores	Georg Gottlob, Katrin Seyr, Etienne Grandjean
Páginas	73-89
Número de páginas	17
DOI	https://doi.org/10.1007/10703163_6
Estado	Published - 1999
Evento	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 Duración: ago 24 1998 → ago 28 1998

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	1584
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	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
País/Territorio	Czech Republic
Ciudad	Brno
Período	8/24/98 → 8/28/98

Nota bibliográfica

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Acceder al documento

10.1007/10703163_6

Otros archivos y enlaces

Citar esto

Marek, V., Pivkina, I., & Truszczyński, M. (1999). Revision programming = Logic programming + integrity constraints. En 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. En 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).

Producción científica: Conference contribution › revisión exhaustiva

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 - https://www.scopus.com/pages/publications/22644450876

UR - https://www.scopus.com/pages/publications/22644450876#tab=citedBy

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. En Gottlob G, Seyr K, Grandjean E, editores, 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

Resumen

Serie de la publicación

Conference

Nota bibliográfica

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto