Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
71	SAFE: Policy Aware SPARQL Query Federation Over RDF Data Cubes Yasar Khan1 , Muhammad Saleem2 , Aftab Iqbal1 , Muntazir Mehdi1 , Aidan Hogan3 , Panagiotis Hasapis4 , Axel-Cyrille Ngonga Ngomo2 , Stefan Decker1 , and Ratn Add to Reading List Source URL: ciws.cl Language: English - Date: 2014-12-17 09:55:41 Semantic Web Web standards RDF Computer languages SPARQL Named graph RDF query language Datalog Linked data Query languages Computing Data management
72	Reasonable Highly Expressive Query Languages Pierre Bourhis† and Markus Krötzsch‡ and Sebastian Rudolph‡ † ‡ CNRS CRIStAL UMR 9189 Technische Universität Dresden, Germany Add to Reading List Source URL: ddll.inf.tu-dresden.de Language: English - Date: 2015-05-02 11:27:28 Computer languages Software engineering Conjunctive query Database theory Datalog RDF SQL FO Query Computing Query languages Data management
73	Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas Pablo Barceló Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-12-24 11:08:56 Applied mathematics Datalog Data integration FO Data Inequality Computational complexity theory Algorithm MAX-3SAT Conjunctive query Database theory Mathematics
74	Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas Pablo Barceló Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2008-12-16 09:36:44 Applied mathematics Datalog Data integration FO Data Inequality Computational complexity theory Algorithm MAX-3SAT Conjunctive query Database theory Mathematics
75	Theory Comput Syst DOIs00224Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas · Pablo Barceló · Juan Reutter Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:03 Conjunctive query Database theory Theoretical computer science Datalog Data integration SQL FO Algorithm Expressive power Data management Query languages Computing
76	In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-24 19:21:12 Software engineering Type theory Pointer Static single assignment form Statistical power Causality Datalog Null Programming language theory Computing Data types
77	Special Theme: The Future Web Which Future Web? An interview with Frank van Harmelen The semantic Web will be a considerable part of the future Web. What is the difference between the semantic Web and artificial intelli Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2007-12-20 09:59:41 Ontology Semantic reasoner Web Ontology Language Semantic technology KAON Datalog Description logic Corporate Semantic Web Semantic Web Information Science
78	Temporal Data Model for Program Debugging Demian Lessa Jan Chomicki Bharat Jayaraman Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-24 10:00:25 Query languages Computer languages Database theory Database management systems Relational database management systems SQL Relational model Datalog Q Data management Computing Software engineering
79	Verified Security for Browser Extensions Arjun Guha Matthew Fredrikson Brown University Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-03-09 13:47:59 Portable software JavaScript Datalog Document Object Model Add-on Cross-browser Firefox HTML Software Computing Google Chrome
80	From Primal Infon Logic with Individual Variables to Datalog Nikolaj Bjørner1 , Guido de Caso2 , and Yuri Gurevich1 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-26 16:39:48 Symbol Admissible rule Entailment Constructible universe Logic Deduction Propositional calculus