Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Translating XSLT programs to Efficient SQL queries
Proceedings of the 11th international conference on World Wide Web
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
SQL4X: A Flexible Query Language for XML and Relational Databases
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
Theory and Practice of Logic Programming
The deductive database system ℒ𝒟ℒ++
Theory and Practice of Logic Programming
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient evaluation of n-ary conjunctive queries over trees and graphs
WIDM '06 Proceedings of the 8th annual ACM international workshop on Web information and data management
Evaluation of datalog extended with an XPath predicate
Proceedings of the 9th annual ACM international workshop on Web information and data management
Databases and Web 2.0 panel at VLDB 2007
ACM SIGMOD Record
Using a relational processor and an XPath processor to evaluate joint queries
DataX '08 Proceedings of the 2008 EDBT workshop on Database technologies for handling XML information on the web
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Concurrent one-way protocols in around-the-clock social networks
Procceedings of the 13th International Workshop on the Web and Databases
Automated interaction in social networks with datalog
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Concurrent atomic protocols for making and changing decisions in social networks
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
DES: A Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
A deductive database with datalog and SQL query languages
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Datalog for the web 2.0: the case of social network data management
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Maximizing acceptance probability for active friending in online social networks
Proceedings of the 19th ACM SIGKDD international conference on Knowledge discovery and data mining
Hi-index | 0.00 |
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatically query, utilize and create the data. For example, a user of a social network can define rules that automatically manage the user's friends list, the sending of various announcements, filtering of messages and more. We examine the probable case of automated addition of connections by a participant. The connections to be added are defined using a query, associated to each participant. For this, we introduce and study the Query Network model, a graph-based model in which every node models a network participant and is associated with a Datalog rule. The union of all these individual user rules constitutes a very large, recursive, Datalog program whose size is of the order of magnitude of the size of the data being queried (data whose size in a social network can easily exceed 1TB). This greatly differs from the traditional assumption that queries are small and data are large. In particular, traditional optimizers will be hard pressed to handle such queries. This is the case even if queries are 'translated' to SQL (using views) and their union is transformed to a very large SQL query. We have designed, built and experimented with evaluation algorithms for such query networks. Experiments with both synthetic and real datasets demonstrate the usefulness and high effectiveness of our methods. Extensions to the model are proposed, their implementation and testing are the subject of on-going work.