Boolean Tensor Decomposition for Conjunctive Queries with Negation.
Mahmoud Abo KhamisHung Q. NgoDan OlteanuDan SuciuPublished in: ICDT (2019)
Keyphrases
- tensor decomposition
- conjunctive queries
- containment of conjunctive queries
- datalog programs
- boolean expressions
- data representation
- auxiliary information
- query answering
- integrity constraints
- query evaluation
- query containment
- np complete
- high order
- data complexity
- deductive databases
- query language
- low rank
- real valued
- special case
- boolean functions
- data exchange
- decision procedures
- tensor factorization
- visual data
- logic programs
- query rewriting
- logic programming
- schema mappings
- query processing
- transitive closure
- decomposition algorithm
- expressive power
- np hard
- data model
- incomplete information
- probabilistic model