Containment

Logical Queries over Views: Decidability and Expressiveness

Data Warehousing / Information Integration / Active Database / Containment / First-Order Logic / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Decidability / Database Query / First Order Logic / Dependence Analysis / Boolean Satisfiability / Decidability