Order in Datalog with Applications to Declarative Output-Reference-Cited by-同舟云学术

Order in Datalog with Applications to Declarative Output

Published:2012 Issue: Volume: Page:56-67
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Brass Stefan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-32925-8_7.pdf

Reference8 articles.

1. Becket, R.: Mercury tutorial. Tech. rep., University of Melbourne, Dept. of Computer Science (2010)

2. Brass, S.: Declarative output by ordering text pieces. In: Gallagher, J., Gelfond, M. (eds.) Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011). Leibniz International Proceedings in Informatics (LIPIcs), vol. 11, pp. 151–161. Schloss Dagstuhl (2011)

3. Buneman, P., Libkin, L., Suciu, D., Tannen, V., Wong, L.: Comprehension syntax. SIGMOD Record 23(1), 87–96 (1994)

4. Greco, S., Palopoli, L., Spadafora, E.: Querying datalog with arrays: Design and implementation issues. Journal of Systems Integration 6, 299–327 (1996)

5. Greco, S., Palopoli, L., Spadafora, E.: Extending datalog with arrays. Data & Knowledge Engineering 17(1), 31–57 (1995)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Abstract Machine for Push Bottom-Up Evaluation of Datalog;Lecture Notes in Computer Science;2018

2. Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method;Lecture Notes in Computer Science;2018

3. Language Constructs for a Datalog Compiler;Lecture Notes in Computer Science;2017

4. Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation;Electronic Proceedings in Theoretical Computer Science;2017-01-01

5. A Variant of Earley Deduction with Partial Evaluation;Web Reasoning and Rule Systems;2013