<--- Back to Details
First PageDocument Content
Data / Query languages / Database theory / Relational model / Computer languages / Datalog / Deductive database / SQL / Expressive power / Data management / Computing / Database management systems
Date: 2010-02-12 06:45:45
Data
Query languages
Database theory
Relational model
Computer languages
Datalog
Deductive database
SQL
Expressive power
Data management
Computing
Database management systems

Contents Preface PART A 1

Add to Reading List

Source URL: webdam.inria.fr

Download Document from Source Website

File Size: 75,84 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