8 citations · 15 across the 15 of their papers we have counts for
Showing 2006Show all
3 papers · 1 filter
cs.DS2006★ 3 cited
Complexity of Monadic inf-datalog. Application to temporal logic
Eugénie Foustoucos, Irene Guessarian
In [11] we defined Inf-Datalog and characterized the fragments of Monadic inf-Datalog that have the same expressive power as Modal Logic (resp. , alternation-free Modal -ca…
cs.DS2006
Automatic generation of simplified weakest preconditions for integrity constraint verification
A. Ai T -Bouziad, Irene Guessarian, L. Vieille
Given a constraint assumed to hold on a database and an update to be performed on , we address the following question: will still hold after is performed? Wh…
cs.DS2006★ 8 cited
Multiple serial episode matching
Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich
In a previous paper we generalized the Knuth-Morris-Pratt (KMP) pattern matching algorithm and defined a non-conventional kind of RAM, the MP--RAMs (RAMS equipped with extra operat…