Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
241	PDF Document Add to Reading List Source URL: www.cs.ucdavis.edu Language: English - Date: 2011-06-27 15:10:55 Data management Data Programming paradigms Datalog Database theory .QL Deductive database Data integration Logic programming Query languages Database management systems Computing
242	PDF Document Add to Reading List Source URL: www.edbt.org Language: English - Date: 2011-02-02 06:15:26 Recursion Theoretical computer science Computability theory Functions and mappings Relational algebra Relational model Datalog Data Intensive Computing Tuple Mathematics Computing Software engineering
243	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-05-10 10:15:01 Logic in computer science Logic Mathematical logic Conjunctive query Database theory Datalog Logic programming Resolution Rewriting Theoretical computer science Mathematics Query languages
244	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-11-28 12:26:07 Mathematical logic Database management systems Database theory Description logic Information science Algorithm Rewriting Logic Datalog Mathematics Theoretical computer science Science
245	PDF Document Add to Reading List Source URL: www2009.org Language: English - Date: 2009-03-19 16:32:23 Reasoning Logic programming Query languages Semantic Web Programming paradigms Datalog Prolog Semantic reasoner Answer set programming Computing Software engineering Artificial intelligence
246	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-06-14 11:31:33 Finite model theory Computational complexity theory Model theory FO Structure Datalog Transitive closure Database theory Descriptive complexity theory Mathematics Theoretical computer science Mathematical logic
247	PDF Document Add to Reading List Source URL: ssdi.di.fct.unl.pt Language: English - Date: 2006-10-10 10:09:19 Functions and mappings Predicate logic Model theory Prolog Function Datalog Predicate variable FO Inference Logic Mathematics Mathematical logic
248	PDF Document Add to Reading List Source URL: bricxcc.sourceforge.net Language: English - Date: 2006-03-29 11:34:03 System software Not Quite C Robot kits Datalog More Command-line interface Ls Tar Computing Software Lego Mindstorms

UPDATE