SCDBR: An automated reasoner for specifications of database updates

Simple item page
dc.contributor.authorBertossi, L
dc.contributor.authorArenas, M
dc.contributor.authorFerretti, C
dc.date.accessioned2025-01-21T01:32:43Z
dc.date.available2025-01-21T01:32:43Z
dc.date.issued1998
dc.description.abstractIn this paper we describe SCDBR, a system that is able to reason automatically from specifications of database updates written in the situation calculus, a first-order language originally proposed by John McCarthy for reasoning about actions and change. The specifications handled by the system are written in the formalism proposed by Ray Reiter for solving the frame problem that appears when one expresses the effects on the database predicates of the execution of atomic transactions. SCDBR is written in PROLOG, and can solve several reasoning tasks, among others, it is able to derive the final specification from effect axioms, to answer queries to virtually updated databases, to check legality of transactions, to prove integrity constraints from the specification, to modify the specification in order to embed a desired integrity constraint, and to answer historical queries. For some of these tasks SCDBR can call other systems, like relational database systems, automated theorem provers, and constraint solvers.
dc.fuente.origenWOS
dc.identifier.eissn1573-7675
dc.identifier.issn0925-9902
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/97309
dc.identifier.wosidWOS:000075150000002
dc.issue.numero3
dc.language.isoen
dc.pagina.final280
dc.pagina.inicio253
dc.revistaJournal of intelligent information systems
dc.rightsacceso restringido
dc.subjectspecifications of database updates
dc.subjectknowledge representation
dc.subjectautomated reasoning
dc.subjectintegrity constraints
dc.subjectsituation calculus
dc.titleSCDBR: An automated reasoner for specifications of database updates
dc.typeartículo
dc.volumen10
sipa.indexWOS
sipa.trazabilidadWOS;2025-01-12
Files
Collections
Artículos de revistas