Open Access. Powered by Scholars. Published by Universities.®
University of Nebraska - Lincoln
Department of Computer Science and Engineering: Dissertations, Theses, and Student Research
Articles 1 - 1 of 1
Full-Text Articles in Engineering
Implementation Of A Database System With Boolean Algebra Constraints, András Salamon
Implementation Of A Database System With Boolean Algebra Constraints, András Salamon
Department of Computer Science and Engineering: Dissertations, Theses, 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 …