Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Computer Science and Engineering: Theses, Dissertations, and Student Research

1998

Articles 1 - 1 of 1

Full-Text Articles in Computer Engineering

Implementation Of A Database System With Boolean Algebra Constraints, András Salamon May 1998

Implementation Of A Database System With Boolean Algebra Constraints, András Salamon

Computer Science and Engineering: Theses, Dissertations, and Student Research

This thesis describes an implementation of a constraint database system with constraints over a Boolean Algebra of sets. The system allows within the input database as well as the queries equality, subset-equality and monotone inequality constraints between Boolean Algebra terms built up using the operators of union, intersection and complement. Hence the new system extends the earlier DISCO system, which only allowed equality and subset-equality constraints between Boolean algebra variables and constants. The new system allows Datalog with Boolean Algebra constraints as the query lan- guage. The implementation includes an extension of Naive and Semi-Naive evaluation methods for Datalog programs ...