<--- Back to Details
First PageDocument Content
Data management / Datalog / Topic Maps / Prolog / Deductive database / Catalani / Lucca / SQL / Logic programming / Computing / Query languages / Software engineering
Date: 2003-05-06 06:28:21
Data management
Datalog
Topic Maps
Prolog
Deductive database
Catalani
Lucca
SQL
Logic programming
Computing
Query languages
Software engineering

tolog for TMQL? http://www.ontopia.net 1

Add to Reading List

Source URL: www.isotopicmaps.org

Download Document from Source Website

File Size: 514,73 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Computing / XSB / Prolog / Logic programming / Partial evaluation / Mathematical logic / Logic / Deductive database / Abstract interpretation / ECL programming language

Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c

DocID: 1qUeK - View Document

Computing / Software engineering / Data management / Database management systems / Query languages / Datalog / Binary decision diagram / Monica S. Lam / Deductive database / Relational algebra / Logic programming / Database

Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots

DocID: 1qtLT - View Document

A Study on Development of a Deductive Object-Oriented Database and Its Application to Genome Analysis Susumu GOTO

DocID: 1k4di - View Document

Mathematical logic / Programming idioms / Logic programming / Prolog / Deductive database / Clause / Stratification / Horn clause / Recursion / Computer programming / Software engineering / Computing

Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand

DocID: 1gBGm - View Document