45 citations · 90 across the 7 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic
Flavio Ferrarotti, Loredana Tec, José María Turull-Torres
In the framework of computable queries in Database Theory, there are many examples of queries to (properties of) relational database instances that can be expressed by simple and e…
cs.LO2016★ 1 cited
A Complete Logic for Database Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
In database theory, the term was used to refer to a unifying treatment for computable queries and updates. Recently, it was shown that non-determ…