Loading...
Please wait, while we are loading the content...
Similar Documents
Scdbr: an Automated Reasoner for Database Updates (extended Abstract)
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ponti, Cristian Ferretti |
| Copyright Year | 1996 |
| Abstract | In this paper we describe SCDBR, a system that automates reasoning with speciications of database updates written in the situation calculus, a rst{order language originally proposed by John McCarthy for reasoning about actions and change. The speciications are expected to be given according to Ray Reiter's solution to the frame problem. SCDBR is written in PROLOG, and among other features is able to verify that integrity constraints are satissed by the speciication and to answer historical queries. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.scs.carleton.ca/~bertossi/papers/scdbr-vald.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |