Keyphrases
- image sequences
- databases
- closed world assumptions
- database
- logic programming
- relational databases
- modal logic
- data sources
- data model
- information systems
- knowledge discovery
- data management
- classical logic
- digital circuits
- database systems
- search algorithm
- association rules
- website
- logic programs
- information retrieval
- data mining
- formal theory
- data sets