Bloque lógico

El sistema LogicBlox es un lenguaje de programación lógica incremental , declarativo y comercial y una base de datos deductiva inspirada en Datalog . El lenguaje de programación LogiQL amplía Datalog con varias funciones, entre ellas la negación estratificada, la agregación y un sistema de módulos. LogicBlox se ha utilizado para crear análisis de punteros para Java . ^[1]

El 3 de diciembre de 2014, Predictix adquirió LogicBlox. ^[2] El 28 de junio de 2016, Infor adquiere Predictix. ^[3]

Características

• Negación estratificada ^[4]
• Funciones agregadas ^[5]
• Evaluación utilizando un nuevo algoritmo de unión óptima en el peor de los casos . ^{[6] [7]}
• Constructores de datos
• Tipificación estática ^[8]
• Un sistema modular
• Características de la programación probabilística
• Cálculo incremental ^[9]
• Depuración con procedencia ^{[10] [11]}

Referencias

Notas

1. Antoniadis, Tony; Triantafyllou, Konstantinos; Smaragdakis, Yannis (18 de junio de 2017). "Transferencia de doop a Soufflé". Actas del 6.º Taller internacional ACM SIGPLAN sobre el estado del arte en análisis de programas . SOAP 2017. Nueva York, NY, EE. UU.: Association for Computing Machinery. págs. 25–30. doi :10.1145/3088515.3088522. ISBN . 978-1-4503-5072-3. Número de identificación del sujeto  3074689.
2. "Predictix adquiere LogicBlox". mergr.com . Consultado el 8 de junio de 2024 .
3. "Infor adquiere Predictix". finance.yahoo.com . Consultado el 8 de junio de 2024 .
4. "6.4. Negación - Manual de referencia de LogicBlox 3.10". developer.logicblox.com . Consultado el 4 de marzo de 2023 ." Además, la negación solo se permite cuando la plataforma puede determinar una forma de estratificar todas las reglas y restricciones que utilizan la negación " .
5. "Capítulo 7. Reglas - Manual de referencia de LogicBlox 3.10". developer.logicblox.com . Consultado el 4 de marzo de 2023 .
6. Veldhuizen, Todd L. (2013-12-20). "Leapfrog Triejoin: un algoritmo de unión óptimo en el peor de los casos". arXiv : 1210.0481 [cs.DB].
7. Aberger, Christopher R.; Tu, Susan; Olukotun, Kunle; Ré, Christopher (mayo de 2016). "Técnicas antiguas para nuevos algoritmos de unión: un estudio de caso en el procesamiento RDF". 2016 IEEE 32nd International Conference on Data Engineering Workshops (ICDEW) . págs. 97–102. arXiv : 1602.03557 . doi :10.1109/ICDEW.2016.7495625. ISBN 978-1-5090-2109-3.S2CID10016546  .​
8. Zook, David; Pasalic, Emir; Sarna-Starosta, Beata (2009). Gill, Andy; Swift, Terrance (eds.). Registro de datos tipificados. Aspectos prácticos de los lenguajes declarativos . Apuntes de clase en informática. Vol. 5418. Berlín, Heidelberg: Springer. págs. 168–182. doi :10.1007/978-3-540-92995-6_12. ISBN . 978-3-540-92995-6." Nuestro sistema de tipos se ha implementado como parte del entorno de desarrollo LogicBlox " .
9. Singh, Shikha; Madaminov, Sergey; Bender, Michael A.; Ferdman, Michael; Johnson, Ryan; Moseley, Benjamin; Ngo, Hung; Nguyen, Dung; Olesen, Soeren; Stirewalt, Kurt; Washburn, Geoffrey (mayo de 2020). "Un enfoque de programación para el mantenimiento incremental de programas de registro de datos". Simposio internacional de procesamiento paralelo y distribuido (IPDPS) del IEEE de 2020. págs. 864–873. doi :10.1109/IPDPS47924.2020.00093. ISBN 978-1-7281-6876-0. Número de identificación del sujeto  216513350.
10. Kohler, Sven; Ludäscher, Bertram; Smaragdakis, Yannis (2012). Barceló, Pablo; Pichler, Reinhard (eds.). Depuración declarativa de registros de datos para simples mortales. Registro de datos en la academia y la industria . Apuntes de conferencias sobre informática. vol. 7494. Berlín, Heidelberg: Springer. págs. 111-122. doi :10.1007/978-3-642-32925-8_12. ISBN 978-3-642-32925-8.
11. "Capítulo 17. Procedencia". Manual de referencia de LogicBlox 3.10 . Consultado el 11 de marzo de 2023 .

Fuentes

• Green, Todd J.; Aref, Molham; Karvounarakis, Grigoris (2012). Barceló, Pablo; Pichler, Reinhard (eds.). LogicBlox, plataforma y lenguaje: un tutorial. Datalog en la academia y la industria . Apuntes de clase en informática. Vol. 7494. Berlín, Heidelberg: Springer. págs. 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 (27 de mayo de 2015). "Diseño e implementación del sistema LogicBlox". Actas de la Conferencia internacional ACM SIGMOD de 2015 sobre gestión de datos . SIGMOD '15. Nueva York, NY, EE. UU.: Association for Computing Machinery. págs. 1371–1382. doi :10.1145/2723372.2742796. ISBN . 978-1-4503-2758-9. Número de identificación del sujeto  2161070.
• Kifer, Michael; Liu, Yanhong Annie (19 de septiembre de 2018). Programación lógica declarativa: teoría, sistemas y aplicaciones. Morgan & Claypool. pág. 345. ISBN 978-1-970001-97-6.

Lectura adicional

• Halpin, Terry; Rugaber, Spencer (13 de noviembre de 2014). LogiQL: un lenguaje de consulta para bases de datos inteligentes. CRC Press. ISBN 978-1-4822-4493-9.

Véase también

• Registro de datos