Characterizing Compatible View Updates in Syntactic Bidirectionalization

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21500-2_5 ◽

2019 ◽

pp. 67-83 ◽

Cited By ~ 1

Author(s):

Naoki Nishida ◽

Germán Vidal

Keyword(s):

View Updates

Download Full-text

Side-Effect-Free View Updates

Encyclopedia of Database Systems ◽

10.1007/978-0-387-39940-9_848 ◽

2009 ◽

pp. 2639-2642

Author(s):

Yannis Velegrakis

Keyword(s):

Side Effect ◽

View Updates

Download Full-text

A theory for Entity-Relationship view updates

Entity-Relationship Approach — ER '92 - Lecture Notes in Computer Science ◽

10.1007/3-540-56023-8_17 ◽

1992 ◽

pp. 262-279 ◽

Cited By ~ 2

Author(s):

Tok -Wang Ling ◽

Mong -Li Lee

Keyword(s):

View Updates ◽

Entity Relationship

Download Full-text

View updates and constraint validations in collaborative design environments

Concurrent Engineering ◽

10.1177/1063293x11435345 ◽

2012 ◽

Vol 20 (1) ◽

pp. 69-80 ◽

Cited By ~ 2

Author(s):

Sang B Yoo ◽

Ki C Kim ◽

Hyeong S Yoo

Keyword(s):

Collaborative Design ◽

Design Environments ◽

View Updates

Download Full-text

Side-Effect-Free View Updates

Encyclopedia of Database Systems ◽

10.1007/978-1-4899-7993-3_848-2 ◽

2017 ◽

pp. 1-5

Author(s):

Yannis Velegrakis

Keyword(s):

Side Effect ◽

View Updates

Download Full-text

Side-Effect-Free View Updates

Encyclopedia of Database Systems ◽

10.1007/978-1-4614-8265-9_848 ◽

2018 ◽

pp. 3487-3491

Author(s):

Yannis Velegrakis

Keyword(s):

Side Effect ◽

View Updates

Download Full-text

An abductive framework for computing knowledge base updates

Theory and Practice of Logic Programming ◽

10.1017/s1471068403001716 ◽

2003 ◽

Vol 3 (6) ◽

pp. 671-715 ◽

Cited By ~ 34

Author(s):

CHIAKI SAKAMA ◽

KATSUMI INOUE

Keyword(s):

Computational Complexity ◽

Knowledge Base ◽

Knowledge Bases ◽

Logic Programs ◽

Types Of Knowledge ◽

Special Cases ◽

Different Types ◽

View Updates ◽

Answer Sets ◽

Disjunctive Programs

This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed by the answer sets of update programs. Next, different types of updates, view updates and theory updates are characterized by abductive programs and computed by update programs. The task of consistency restoration is also realized as special cases of these updates. Each update problem is comparatively assessed from the computational complexity viewpoint. The result of this paper provides a uniform framework for different types of knowledge base updates, and each update is computed using existing procedures of logic programming.

Download Full-text