FC-Datalog as a Framework for Efficient String Querying

Owen M. Bell, Joel D. Day, Dominik D. Freydenberger

Core spanners are a class of document spanners that capture the core functionality of IBM's AQL. FC is a logic on strings built around word equations that when extended with constr…