• Images
• Videos
• Documents
• Books
• Articles

Features

• Stratified negation⁴
• Aggregate functions⁵
• Evaluation using a novel worst-case optimal join algorithm.⁶⁷
• Data constructors
• Static typing⁸
• A module system
• Probabilistic programming features
• Incremental computation⁹
• Debugging with provenance¹⁰¹¹

Notes

Sources

• Green, Todd J.; Aref, Molham; Karvounarakis, Grigoris (2012). Barceló, Pablo; Pichler, Reinhard (eds.). LogicBlox, Platform and Language: A Tutorial. Datalog in Academia and Industry. Lecture Notes in Computer Science. Vol. 7494. Berlin, Heidelberg: Springer. pp. 1–8. doi:10.1007/978-3-642-32925-8_1. ISBN 978-3-642-32925-8.
• Aref, Molham; ten Cate, Balder; Green, Todd J.; Kimelfeld, Benny; Olteanu, Dan; Pasalic, Emir; Veldhuizen, Todd L.; Washburn, Geoffrey (2015-05-27). "Design and Implementation of the LogicBlox System". Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. SIGMOD '15. New York, NY, USA: Association for Computing Machinery. pp. 1371–1382. doi:10.1145/2723372.2742796. ISBN 978-1-4503-2758-9. S2CID 2161070.
• Kifer, Michael; Liu, Yanhong Annie (2018-09-19). Declarative Logic Programming: Theory, Systems, and Applications. Morgan & Claypool. p. 345. ISBN 978-1-970001-97-6.

Further reading

• Halpin, Terry; Rugaber, Spencer (2014-11-13). LogiQL: A Query Language for Smart Databases. CRC Press. ISBN 978-1-4822-4493-9.

See also

• Datalog

References

1. Antoniadis, Tony; Triantafyllou, Konstantinos; Smaragdakis, Yannis (2017-06-18). "Porting doop to Soufflé". Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis. SOAP 2017. New York, NY, USA: Association for Computing Machinery. pp. 25–30. doi:10.1145/3088515.3088522. ISBN 978-1-4503-5072-3. S2CID 3074689. 978-1-4503-5072-3 ↩

2. "Predictix Acquires LogicBlox". mergr.com. Retrieved 2024-06-08. https://mergr.com/predictix-acquires-logicblox ↩

3. "Infor Acquires Predictix". finance.yahoo.com. Retrieved 2024-06-08. https://finance.yahoo.com/news/infor-acquires-predictix-120000577.html ↩

4. "6.4. Negation - LogicBlox 3.10 Reference Manual". developer.logicblox.com. Retrieved 2023-03-04. "Additionally, negation is only allowed when the platform can determine a way to stratify all rules and constraints that use negation." https://developer.logicblox.com/content/docs/core-reference/webhelp/formula-negation.html ↩

5. "Chapter 7. Rules - LogicBlox 3.10 Reference Manual". developer.logicblox.com. Retrieved 2023-03-04. https://developer.logicblox.com/content/docs/core-reference/webhelp/rules.html#rules-aggregation ↩

6. Veldhuizen, Todd L. (2013-12-20). "Leapfrog Triejoin: a worst-case optimal join algorithm". arXiv:1210.0481 [cs.DB]. /wiki/ArXiv_(identifier) ↩

7. Aberger, Christopher R.; Tu, Susan; Olukotun, Kunle; Ré, Christopher (May 2016). "Old techniques for new join algorithms: A case study in RDF processing". 2016 IEEE 32nd International Conference on Data Engineering Workshops (ICDEW). pp. 97–102. arXiv:1602.03557. doi:10.1109/ICDEW.2016.7495625. ISBN 978-1-5090-2109-3. S2CID 10016546. 978-1-5090-2109-3 ↩

8. Zook, David; Pasalic, Emir; Sarna-Starosta, Beata (2009). Gill, Andy; Swift, Terrance (eds.). Typed Datalog. Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. Vol. 5418. Berlin, Heidelberg: Springer. pp. 168–182. doi:10.1007/978-3-540-92995-6_12. ISBN 978-3-540-92995-6. "Our type system has been implemented as a part of the LogicBlox development environment." 978-3-540-92995-6 ↩

9. Singh, Shikha; Madaminov, Sergey; Bender, Michael A.; Ferdman, Michael; Johnson, Ryan; Moseley, Benjamin; Ngo, Hung; Nguyen, Dung; Olesen, Soeren; Stirewalt, Kurt; Washburn, Geoffrey (May 2020). "A Scheduling Approach to Incremental Maintenance of Datalog Programs". 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS). pp. 864–873. doi:10.1109/IPDPS47924.2020.00093. ISBN 978-1-7281-6876-0. S2CID 216513350. 978-1-7281-6876-0 ↩

10. Köhler, Sven; Ludäscher, Bertram; Smaragdakis, Yannis (2012). Barceló, Pablo; Pichler, Reinhard (eds.). Declarative Datalog Debugging for Mere Mortals. Datalog in Academia and Industry. Lecture Notes in Computer Science. Vol. 7494. Berlin, Heidelberg: Springer. pp. 111–122. doi:10.1007/978-3-642-32925-8_12. ISBN 978-3-642-32925-8. 978-3-642-32925-8 ↩

11. "Chapter 17. Provenance". LogicBlox 3.10 Reference Manual. Retrieved 2023-03-11. https://developer.logicblox.com/content/docs/core-reference/webhelp/provenance.html ↩