REVEUR4: A Laboratory for Conditional Rewriting.
Wadoud BousdiraJean-Luc RémyPublished in: CTRS (1987)
Keyphrases
- random field model
- computational complexity
- query rewriting
- real time
- information retrieval
- data structure
- rewriting systems
- rewrite rules
- presburger arithmetic
- database
- massachusetts institute of technology
- rewriting rules
- deductive databases
- modal logic
- conjunctive queries
- conditional probabilities
- case study
- artificial intelligence