[crm-sig] Reference to "query containment"

martin martin at ics.forth.gr
Wed Nov 13 18:10:16 EET 2002

Following a discussion in the last meeting about semantic
Here a reference to the theory of query containment:

"On the decidability of query containment under constraints"
     Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proc. of the 17th ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS'98), pages 149-158, 1998. ps.gz

This theory is fundamental to the question, to which degree
a system with transformed data e.g. in a CIDOC CRM compatible form,
will give the same answer to the same questions as the initial system.
In general, the same precision cannot be achieved, so one would like
that the answer for an original query is contained in the answer
to an equivalent query on the transformed system, and hopefully not
much more nonsense.



  Dr. Martin Doerr              |  Vox:+30(810)391625         |
  Principle Researcher          |  Fax:+30(810)391609         |
  Project Leader SIS            |  Email: martin at ics.forth.gr |
                Information Systems Laboratory                |
                 Institute of Computer Science                |
    Foundation for Research and Technology - Hellas (FORTH)   |
  Vassilika Vouton,P.O.Box1385,GR71110 Heraklion,Crete,Greece |
          Web-site: http://www.ics.forth.gr/isl               |

More information about the Crm-sig mailing list