Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,065,049 papers from all fields of science
Search
Sign In
Create Free Account
Datalog
Known as:
List of Datalog interpreters
, Magic Sets algorithm
Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
.QL
Aggregate function
Algorithm
Answer set programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Formalizing a Broader Recursion Coverage in SQL
G. Aranda
,
S. Nieva
,
F. Sáenz-Pérez
,
J. Sánchez-Hernández
International Symposium on Practical Aspects of…
2013
Corpus ID: 16574217
SQL is the de facto standard language for relational databases and has evolved by introducing new resources and expressive…
Expand
2012
2012
Towards Practical Query Answering for Horn-SHIQ
Thomas Eiter
,
Magdalena Ortiz
,
M. Šimkus
,
Trung-Kien Tran
,
Guohui Xiao
Description Logics
2012
Corpus ID: 14094883
Query answering has become a prominent reasoning task in Description Logics. This is witnessed not only by the high number of…
Expand
2010
2010
Reasoning about Contextual Requirements for Mobile Information Systems: a Goal-based Approach
Raian Ali
,
Fabiano Dalpiaz
,
P. Giorgini
2010
Corpus ID: 20080793
Mobile information systems are characterized by their ability to adapt to varying contexts. There is a strong relationship…
Expand
2005
2005
Fully automated Web services orchestration in a resource retrieval scenario
Azzurra Ragone
,
T. D. Noia
,
E. Sciascio
,
F. Donini
,
Simona Colucci
IEEE International Conference on Web Services…
2005
Corpus ID: 7554806
We propose a framework and polynomial algorithms for semantic-based automated Web service orchestration, fully compliant with…
Expand
2005
2005
Improving query answering in peer-to-peer data searching
A. Q. Al-Namiy
,
Faris S. Majeed
19th International Conference on Advanced…
2005
Corpus ID: 2720182
Peer-to-peer (P2P) networks have become an important infrastructure during the last years. It emerged as a new paradigm for…
Expand
2003
2003
Realizing Network Control Policies Using Distributed Action Plans
Madhur Kohli
,
Jorge Lobo
Journal of Network and Systems Management
2003
Corpus ID: 20586159
The increasing complexity in size and heterogeneity of networks requires the development of network management tools that are…
Expand
2002
2002
RAP: Framework for Mining Frequent Datalog Patterns
Jan Blatak
,
L. Popelínský
,
Miloslav Nepil
International Workshop on Knowledge Discovery in…
2002
Corpus ID: 7758149
We describe a new any-time algorithm RAP for finding maximal frequent patterns in first-order logic.
2000
2000
Datalog and Constraints
P. Revesz
Constraint Databases
2000
Corpus ID: 5198904
Recursion is an important feature to express many natural queries. The most studied recursive query language for databases is…
Expand
1997
1997
Querying String Databases with Modal Logic
Matti Nykanen
1997
Corpus ID: 58977502
New application areas for databases demand the possibility of managing not only the traditional atomic but also structured data…
Expand
1997
1997
Knowledge integration for structured information sources containing text (extended abstract)
William W. Cohen
1997
Corpus ID: 14661625
,