Databases Reference
In-Depth Information
Table 4.2
Summary of Deductive DBMS Prototypes
Deductive
Prototypes
DB Definition
Query Processing
Update Processing
Storage
Rules
Constraints
Updates
Change
computation
IC enforcement
Aditi
Negative, recursive
No
TD, BU, MS
No
None
None
EDB, IDB
CORAL
Negative, recursive
No
TD, BU, MS
Base
None
None
EDB, IDB
DECLARE
Negative, recursive
No
BU, MS
No
None
None
EDB
EKS-V1
Negative, recursive
Yes
TD
Base
MVM, ICC
ICC
EDB, IDB
FOLRE
Negative, recursive
Yes
TD
Base, view
MVM, ICC, CM
ICC, ICM
EDB, IDB
Glue-Nail
Negative, recursive
No
BU, MS
Base
None
None
EDB
IDEA Project
Negative, recursive
Yes
TD
Base
MVM, ICC, CM
ICC, ICM
EDB, IDB
LDL
Negative, recursive
No
TD, BU, MS
Base
None
None
EDB
XSB
Negative, recursive
No
TD
No
None
None
EDB, IDB
