Serge Abiteboul Pierre Bourhis Bogdan Marinoiu Satisfiability and relevance for queries over active documents. 87-96 2009 PODS http://doi.acm.org/10.1145/1559795.1559810 conf/pods/2009 db/conf/pods/pods2009.html#AbiteboulBM09