Searching for "The Aditi Deductive Database System" – sorted by Relevance.
-
The Aditi deductive database system
- Deductive Database System Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J
- Cited by 52 (8 self) – Add To MetaCart
-
Design overview of the aditi deductive database system
- Design overview of the Aditi deductive database system Jayen Vaghani Kotagiri Ramamohanarao
- Cited by 32 (12 self) – Add To MetaCart
-
Aditi Users' Guide
- Zoltan Somogyi Peter J. Stuckey Jayen Vaghani Abstract Aditi is a deductive database system under
- Cited by 3 (3 self) – Add To MetaCart
-
An Aditi Implementation of a Flights Database
- describe the implementation of a flights database in the Aditi deductive database system. Such a database
- Add To MetaCart
-
unknown title
- The Aditi deductive database system Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan
- Add To MetaCart
-
Aditi-prolog language manual
- -Prolog from Aditi-Prolog 26 8 Acknowledgements 27 1 Introduction Aditi is a deductive database system under
- Cited by 3 (3 self) – Add To MetaCart
-
Query Restricted Bottom-up Evaluation of Normal Logic Programs
- transformation using the Aditi deductive database system. 1 Introduction Much research has been done in recent
- Cited by 17 (6 self) – Add To MetaCart
-
The Mercury User's Guide - Version rotd-2003-07-02
- . Files ending in `.rlo' are Aditi-RL bytecode les, which are executed by the Aditi deductive database
- Add To MetaCart
-
The Mercury User's Guide - Version 0.11.0
- -RL bytecode les, which are executed by the Aditi deductive database system (see Chapter 8 [Using Aditi], page
- Add To MetaCart
-
The Mercury User's Guide
- by the Aditi deductive database system (see Chapter 8 [Using Aditi], page 48). 3 Using the Mercury compiler
- Add To MetaCart

