Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
31	Alexander Kiel University Leipzig HAL8 PaperD AT O M I C - A F U N C T I O N A L D ATA B A S E Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Data management Database management systems Database theory Datomic NoSQL Datalog Database Triplestore Online analytical processing Persistent data structure Document-oriented database Relational database
32	On Probabilistic Fixpoint and Markov Chain Query Languages Daniel Deutch Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2010-09-20 08:01:19 Database theory Relational model Database management systems Query languages Graphical models Relational algebra Datalog Bayesian network Probabilistic database Relational database BPP Randomized algorithm
33	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
34	Specifying and Reasoning about Dynamic Access-Control Policies Daniel J. Dougherty,1 Kathi Fisler,1 and Shriram Krishnamurthi 2 1 Department of Computer Science, WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2006-06-22 08:09:04 Datalog Conjunctive query
35	Microsoft Word - 01.committees.doc Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-30 04:26:00 Query languages File sharing Markup languages Distributed data storage Peer-to-peer Database XPath Distributed hash table Search engine indexing Datalog Web Services Discovery Data mining
36	R in Databases Foundations and Trends Vol. 5, No–195 c 2013 T. J. Green, S. Huang, B. T. Loo, W. Zhou Add to Reading List Source URL: blogs.evergreen.edu Language: English - Date: 2014-04-07 19:34:10 Database management systems Query languages Recursion Datalog Data management Semmle Datomic Hierarchical and recursive queries in SQL Data integration Database theory Database
37	CIKM WORKSHOP REPORT Report on the 9th International Workshop on Web Information and Data Management (WIDMIrini Fundulaki∗ ICS-FORTH, Greece Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-30 04:23:00 Query languages Natural language processing Information retrieval Recommender system Database Search engine indexing Datalog XPath Prolog Data model Temporal information retrieval ACM SIGWEB
38	preprint Datafun: a Functional Datalog Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2016-03-16 13:00:23
39	I NCREMENTAL M ATERIALISATION IN DATALOG AND ITS R ELATIONSHIP TO S TREAM R EASONING Boris Motik University of Oxford November 9, 2015 Add to Reading List Source URL: www.vcla.at Language: English - Date: 2015-11-12 05:17:49
40	Towards a Data Warehouse fed with Web Services John Samuel LIMOS, CNRS, Blaise Pascal University, Aubi`ere, France Add to Reading List Source URL: 2014.eswc-conferences.org Language: English - Date: 2014-05-06 17:10:34 Data management Computing Information technology Information Data integration Query Rewriting Database Datalog Data warehouse Online analytical processing Conjunctive query Spring Framework