<--- Back to Details
First PageDocument Content
Logic / Datalog / Deductive database / Prolog / Recursion / SQL / Logic programming / Lambda calculus / Function / Computing / Mathematics / Query languages
Date: 2010-02-12 06:45:46
Logic
Datalog
Deductive database
Prolog
Recursion
SQL
Logic programming
Lambda calculus
Function
Computing
Mathematics
Query languages

P A R T D Datalog and Recursion

Add to Reading List

Source URL: webdam.inria.fr

Download Document from Source Website

File Size: 302,55 KB

Share Document on Facebook

Similar Documents

Data management / Relational database management systems / Computing / Information retrieval / SUSE Linux / SUSE / SQL Server / Adaptive Server Enterprise / SQL Server Express / SQL Server Compact

RUN SQL SERVER 2017 ON S U S E L I N U X E N T E R P RI S E S E R V E R Achieve industry-leading performance on the platform you trust Microsoft SQL Server 2017

DocID: 1xVxr - View Document

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Yupeng Zhang∗ , Daniel Genkin†,∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡,∗ and Charalampos Papamanthou∗ ∗ University † Univers

DocID: 1xVtB - View Document

Data management / Information retrieval / Computing / SQL keywords / SQL / Query languages / Database management systems / Database theory / Select / Null / Update / Join

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun

DocID: 1xVm6 - View Document

Select

Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington

DocID: 1xUu7 - View Document

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

DocID: 1xUqU - View Document