Logical Algorithmics: From Relational Queries to Boolean Reasoning (Invited Talk).
Moshe Y. VardiPublished in: SAT (2024)
Keyphrases
- invited talk
- relational queries
- knowledge discovery and data mining
- sql queries
- selected papers
- answering queries
- probabilistic databases
- knowledge base
- xml queries
- information retrieval
- data analysis
- knowledge representation
- response time
- data distribution
- conjunctive queries
- information technology
- query optimizer
- execution plan