da Luz, Robson; Halfeld Ferrari, Mírian; Musicante, Martin A. Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). (English) Zbl 1131.68056 J. Algorithms 62, No. 3-4, 148-167 (2007). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Halfeld Ferrari Alves, Mírian; Laurent, Dominique; Spyratos, Nicolas Update rules in Datalog programs. (English) Zbl 0913.68059 J. Log. Comput. 8, No. 6, 745-775 (1998). MSC: 68P15 × Cite Format Result Cite Review PDF Full Text: DOI