Home      Publications      C++ Code      Translator      Abstract Machine      Benchmark Results      Links

Bottom-Up Evaluation with the "Push Method"

Publications

Bottom-Up Evaluation with the Push Method:

• Brass, Stefan (2010):
  Implementation alternatives for bottom-up evaluation.
  In: Technical Communications of the 26th International Conference on Logic Programming (ICLP'10),
  M. Hermenegildo and T. Schaub, Eds.
  Leibniz International Proceedings in Informatics (LIPIcs), vol. 7. Schloss Dagstuhl, 2010, 44–53.
  [PDF] [LIPIcs Entry] [Project Webpage] [PDF (Tech. Rep. Version with Appendix)]
• Brass, Stefan and Stephan, Heike (2015):
  Bottom-up evaluation of datalog: Preliminary report.
  In: 29th Workshop on (Constraint) Logic Programming (WLP 2015),
  S. Schwarz and S. Hölldobler, Eds.
  Leipzig University of Applied Sciences, 2015, 21–35.
  [PDF] [Workshop Webpage]
   
  Slightly Modified Version in the Final Proceedings/Postproceedings:
  In: Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
  Sibylle Schwarz and Janis Voigtländer, Ed.
  EPTCS 234, 2017, pp. 13-26
  [PDF] [arXiv-Page (with PDF, ps)] [EPTCS-Page (with BibTeX, PDF)]
• Brass, Stefan and Stephan, Heike (2016):
  Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation.
  In: 30th Workshop on (Constraint) Logic Programming (WLP 2016),
  S. Schwarz, Ed.
  Leipzig University of Applied Sciences, 2016.
  [PDF] [Workshop Webpage]
   
  Version in the Final Proceedings/Postproceedings:
  In: Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
  Sibylle Schwarz and Janis Voigtländer, Ed.
  EPTCS 234, 2017, pp. 57-72
  [PDF] [arXiv-Page (with PDF, ps)] [EPTCS-Page (with BibTeX, PDF)]
• Brass, Stefan and Stephan, Heike (2018):
  Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method.
  In: Perspectives of System Informatics — PSI 2017,
  A.K. Petrenkoi and A. Voronkov, Eds.
  Springer, LNCS 10742, 43-58, 2018.
  [PDF (Preliminary Version)] [Springer Page]

SLDMagic Transformation and Related Approaches to Goal-Directed Query Evaluation:

• Brass, Stefan (2000): SLDMagic — The real magic (with applications to web queries).
  In: First International Conference on Computational Logic (CL'2000/DOOD'2000),
  W. Lloyd et al., Eds.
  Springer, LNCS 1861, 2000, 1063–1077.
  [PDF (nonfinal)] [Springer Page for Proceedings] [Project Webpage]
• Brass, Stefan and Stephan, Heike (2013):
  A Variant of Earley Deduction with Partial Evaluation.
  In: Web Reasoning and Rule Systems — 7th International Conference, RR 2013,
  Wolfgang Faber and Domenico Lembo, Eds.
  Springer-Verlag, LNCS 7994, 2013, 35–49.
  [PDF (nonfinal)] [Springer Page for Proceedings] [Project Webpage]
• Brass, Stefan (2014): A Framework for Bottom-Up Simulation of SLD-Resolution.
  In: Technical Communications of the 30th International Conference on Logic Programming (ICLP'14),
  Michael Leuschel and Tom Schrijvers, Eds.
  [PDF] [arXiv Entry]
• Brass, Stefan (2015): A Framework for Goal-Directed Query Evaluation with Negation.
  In: Logic Programming and Nonmonotonic Reasoning, 13th International Conference (LPNMR 2015),
  Francesco Calimeri, Giovambattista Ianni and Miroslaw Truszczynski, Eds.
  Springer, LNAI 9345, 2015, 151–157.
  [PDF (nonfinal)] [Springer Page for Proceedings]

Declarative Output:

• Brass, Stefan (2011):
  Declarative Output by Ordering Text Pieces.
  In: Technical Communications of the 27th International Conference on Logic Programming (ICLP'11),
  John Gallagher and Michael Gelfond, Eds.
  Leibniz International Proceedings in Informatics (LIPIcs), vol. 11. Schloss Dagstuhl, 2011, 151–161.
  Springer-Verlag, LNCS 7494, 2012, 56–67.
  [PDF] [LIPIcs Webpage] [Project Webpage]
• Brass, Stefan (2012):
  Order in Datalog with applications to declarative output.
  In: Datalog in Academica and Industry, 2nd International Workshop, Datalog 2.0,
  P. Barceló and R. Pichler, Eds.
  Springer-Verlag, LNCS 7494, 2012, 56–67.
  [PDF (nonfinal)] [Springer Page for Proceedings] [Project Webpage]

Stefan Brass (brass@informatik.uni-halle.de), September 20, 2016

Original URL: http://www.informatik.uni-halle.de/~brass/push/publ.html   [XHTML 1.0]   [CSS]   [Links]   [Legal Info]