ЛогикаBlox
 | Тема этой статьи Википедии может не соответствовать общему правилу по известности . ( март 2023 г. ) |
| Парадигмы | Декларативное , Логическое программирование |
|---|---|
| Семья | Ученый-компьютерщик |
| Дисциплина набора текста | Статический |
| Лицензия | Коммерческий |
| Веб-сайт | «LogicBlox – аналитические приложения нового поколения» . Архивировано из оригинала 23 июля 2023 г. |
| Под влиянием | |
| Ученый-компьютерщик | |
Система LogicBlox — это коммерческий декларативный и , дедуктивной язык программирования с инкрементной логикой базой данных вдохновленный Datalog . Язык программирования LogiQL расширяет Datalog несколькими функциями, включая послойное отрицание, агрегацию и систему модулей. LogicBlox использовался для построения анализа указателей для Java . [1]
3 декабря 2014 г. Predictix приобрела LogicBlox. [2] 28 июня 2016 г. Infor приобретает Predictix. [3]
Функции
[ редактировать ]- Расслоенное отрицание [4]
- Агрегатные функции [5]
- Оценка с использованием нового алгоритма оптимального соединения для наихудшего случая . [6] [7]
- Конструкторы данных
- Статическая типизация [8]
- Модульная система
- вероятностного программирования Возможности
- Инкрементные вычисления [9]
- Отладка с использованием источника [10] [11]
Ссылки
[ редактировать ]Примечания
[ редактировать ]- ^ Антониадис, Тони; Триантафиллу, Константинос; Смарагдакис, Яннис (18 июня 2017 г.). «Портирование дупа в суфле» . Материалы 6-го международного семинара ACM SIGPLAN по новейшим достижениям в программном анализе . SOAP 2017. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 25–30. дои : 10.1145/3088515.3088522 . ISBN 978-1-4503-5072-3 . S2CID 3074689 .
- ^ «Predictix приобретает LogicBlox» . Mergr.com . Проверено 8 июня 2024 г.
- ^ «Infor приобретает Predictix» . финансы.yahoo.com . Проверено 8 июня 2024 г.
- ^ «6.4. Отрицание — Справочное руководство LogicBlox 3.10» . Developer.logicblox.com . Проверено 4 марта 2023 г. « Кроме того, отрицание разрешено только в том случае, если платформа может определить способ разделения всех правил и ограничений, использующих отрицание » .
- ^ «Глава 7. Правила — Справочное руководство LogicBlox 3.10» . Developer.logicblox.com . Проверено 4 марта 2023 г.
- ^ Вельдхейзен, Тодд Л. (20 декабря 2013 г.). «Чехарда Triejoin: алгоритм оптимального соединения для наихудшего случая». arXiv : 1210.0481 [ cs.DB ].
- ^ Абергер, Кристофер Р.; Ту, Сьюзен; Олукотун, Кунле; Ре, Кристофер (май 2016 г.). «Старые методы для новых алгоритмов соединения: пример обработки RDF» . 32-я Международная конференция IEEE по инженерии данных (ICDEW) , 2016 г. стр. 97–102. arXiv : 1602.03557 . дои : 10.1109/ICDEW.2016.7495625 . ISBN 978-1-5090-2109-3 . S2CID 10016546 .
- ^ Зук, Дэвид; Пашалич, Эмир; Сарна-Староста, Беата (2009). Джилл, Энди; Свифт, Терренс (ред.). Набрал журнал данных . Практические аспекты декларативных языков . Конспекты лекций по информатике. Том. 5418. Берлин, Гейдельберг: Springer. стр. 168–182. дои : 10.1007/978-3-540-92995-6_12 . ISBN 978-3-540-92995-6 . « Наша система типов реализована как часть среды разработки LogicBlox » .
- ^ Сингх, Шикха; Мадаминов Сергей; Бендер, Майкл А.; Фердман, Майкл; Джонсон, Райан; Мозли, Бенджамин; Нго, Хунг; Нгуен, Зунг; Олесен, Соерен; Стайруолт, Курт; Уошберн, Джеффри (май 2020 г.). «Подход к планированию постепенного обслуживания программ регистрации данных» . Международный симпозиум IEEE по параллельной и распределенной обработке (IPDPS) 2020 года . стр. 864–873. дои : 10.1109/IPDPS47924.2020.00093 . ISBN 978-1-7281-6876-0 . S2CID 216513350 .
- ^ Кёлер, Свен; Людешер, Бертрам; Смарагдакис, Яннис (2012). Барсело, Пабло; Пихлер, Рейнхард (ред.). Декларативная отладка журнала данных для простых смертных . Ученый-компьютерщик в академических кругах и промышленности . Конспекты лекций по информатике. Том. 7494. Берлин, Гейдельберг: Springer. стр. 111–122. дои : 10.1007/978-3-642-32925-8_12 . ISBN 978-3-642-32925-8 .
- ^ «Глава 17. Провенанс» . Справочное руководство LogicBlox 3.10 . Проверено 11 марта 2023 г.
Источники
[ редактировать ]- Грин, Тодд Дж.; Ареф, Молхам; Карвунаракис, Григорис (2012). Барсело, Пабло; Пихлер, Рейнхард (ред.). LogicBlox, Платформа и язык: Учебное пособие . Журнал данных в научных кругах и промышленности . Конспекты лекций по информатике. Том. 7494. Берлин, Гейдельберг: Springer. стр. 1–8. дои : 10.1007/978-3-642-32925-8_1 . ISBN 978-3-642-32925-8 .
- Ареф, Молхам; десять Кейт, Бальдер; Грин, Тодд Дж.; Кимельфельд, Бенни; Олтяну, Дэн; Пашалич, Эмир; Вельдхуизен, Тодд Л.; Уошберн, Джеффри (27 мая 2015 г.). «Проектирование и внедрение системы LogicBlox» . Материалы Международной конференции ACM SIGMOD по управлению данными 2015 г. СИГМОД '15. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 1371–1382. дои : 10.1145/2723372.2742796 . ISBN 978-1-4503-2758-9 . S2CID 2161070 .
- Кифер, Майкл; Лю, Яньхун Энни (19 сентября 2018 г.). Декларативное логическое программирование: теория, системы и приложения . Морган и Клейпул. п. 345. ИСБН 978-1-970001-97-6 .
Дальнейшее чтение
[ редактировать ]- Халпин, Терри; Ругабер, Спенсер (13 ноября 2014 г.). LogiQL: язык запросов для интеллектуальных баз данных . ЦРК Пресс. ISBN 978-1-4822-4493-9 .