Open AccessThe Complexity and Expressive Power of Limit Datalog
Author(s) -
Mark Kaminski,
Egor V. Kostylev,
Bernardo Cuenca Grau,
Boris Motik,
Ian Horrocks
Publication year - 2021
Publication title -
journal of the acm
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.672
H-Index - 134
eISSN - 1557-735X
pISSN - 0004-5411
DOI - 10.1145/3495009
Subject(s) - datalog , decidability , limit (mathematics) , negation , undecidable problem , fragment (logic) , computer science , discrete mathematics , mathematics , programming language , theoretical computer science , mathematical analysis
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom