Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
181	PrPl: A Decentralized Social Networking Infrastructure Seok-Won Seong Jiwon Seo Matthew Nasielski Debangsu Sengupta Sudheendra Hangal Seng Keat Teh Ruven Chu Ben Dodson Monica S. Lam Computer Science and Electrical Engin Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2011-03-12 01:47:02 Social networks OpenID Web services Distributed social network XRDS Peer-to-peer Social networking service Semantic Web Datalog Computing Federated identity Cloud standards
182	9th International Conference on Digital Preservation (iPres2012), Toronto, Oct[removed]Conversion and Emulation-aware Dependency Reasoning for Curation Services Yannis Tzitzikas, Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2012-08-31 16:49:06 Semantic Web RDF Datalog Preservation Emulator Prolog Type system RDF Schema MOS Technology SID Computing Programming language theory Software engineering
183	Advanced Processing for Ontological Queries Andrea Cal`ı3,2 1 Georg Gottlob1,2 Add to Reading List Source URL: www.vldb2010.org Language: English - Date: 2010-09-22 03:55:41 Mathematical logic Structure Universal algebra Datalog Symbol Elementary class Model theory Mathematics Mathematical analysis
184	13 Alice: Riccardo: Vittorio: Sergio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Functions and mappings Logic Function Resolution Relational algebra Mathematics Datalog Mathematical logic
185	15 Alice: Sergio: Alice: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Semantics Datalog Logic programming Rules of inference Stratification Negation as failure Negation Transitive closure Model theory Logic Mathematics Mathematical logic
186	Contents Preface PART A 1 Add to Reading List Source URL: webdam.inria.fr Language: English - 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
187	4 Alice: Sergio: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Mathematics Model theory Conjunctive query Database theory Tuple relational calculus Domain relational calculus Structure Datalog SO Theoretical computer science Mathematical logic Relational model
188	Index Page numbers in italics indicate the location of definitions of terms. ac0 , 96, 431 Access, 36, 143, 150, 152–153, 155 access plan, 107 Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:47 Computing Database theory Data Query languages Computer languages Conjunctive query Datalog SQL Tuple relational calculus Data management Relational model Database management systems
189	22 Alice: Riccardo: Sergio: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:47 Computing Query languages Database theory Relational model Database schema SQL Database Concurrency control Datalog Data management Database management systems Data
190	5 Alice: Vittorio: Sergio: Riccardo: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Mathematics Tuple relational calculus Datalog Domain relational calculus Relational algebra SQL Calculus Relational calculus Function Mathematical logic Relational model Logic

UPDATE