We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Equational Theories and Database Constraints

Thumbnail Image
Download
Name

MIT-LCS-TR-346.pdf

Size

3.01 MB

Format

Adobe PDF

Checksum (MD5)

ec5913be718f2890c991e4e0e40a5b43

Author(s)
Cosmadakis, Stavros Stylianos
Advisor(s)
Kanellakis, Paris C.
Meyer, Albert R.
Date Issued
August 1985
Series/Report no.
MIT-LCS-TR-346
Abstract
The implication problem for database constraints is central in the fields of automated schema design and query optimization and has been traditionally approached with resolution-based techniques. We present a novel approach to database constraints, using equations instead of Horn clauses.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.