Solving satisfiability, implication, and equivalence problems in database systems
Document Type
Dissertation
Degree
Doctor of Philosophy (PhD)
Major/Program
Computer Science
Date of Defense
1996
Identifier
FI15101740
Recommended Citation
Guo, Sha, "Solving satisfiability, implication, and equivalence problems in database systems" (1996). FIU Electronic Theses and Dissertations. 4103.
https://digitalcommons.fiu.edu/etd/4103