( en | de | ru )

 

Disambiguation of "Celma, Matilde"

Author of the publication

copydeleteadd this publication to your clipboard
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.

, , , and . DAISD, volume LSI/92/19 of Report de recerca, page 199-216. Universitat Politecnica de Catalunya (UPC), (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Matilde Heredia

Matilde Mújica

Matilde Bahrmann

Ioanna Matilde Dimitriou

Irene Matilde Chesini

 

Other publications of authors with the same name

CellBase, a comprehensive collection of RESTful web services for retrieving relevant biological information from heterogeneous sources., , , , , , , , and . Nucleic Acids Res., 40 (Web-Server-Issue): 609-614 (2012)Model-Based Engineering Applied to the Interpretation of the Human Genome., , , , , and . The Evolution of Conceptual Modeling, volume 6520 of Lecture Notes in Computer Science, page 306-330. Springer, (2008)Improving the Semantics of a Conceptual Schema of the Human Genome by Incorporating the Modeling of SNPs., , , , and . IC3K, volume 272 of Communications in Computer and Information Science, page 23-37. Springer, (2010)Applying MDA to the Conceptual Design of Data Warehouses., and . SEKE, page 156-161. (2006)Asimilación de conocimiento en bases de datos deductivas.. JIDBD, page 171-175. Universidade da Coruña, Facultade de Informática, (1996)Aplicando MDA al diseño conceptual de Almacenes de Datos., and . CIbSE, page 273-286. (2006)El Modelo Multidimensional de datos revisado., and . CIbSE, page 181-190. (2005)Multi-source materialized views maintenance., , and . EDA, volume B-2 of RNTI, page 77-88. Cépaduès, (2006)Transaction Trees for Knowledge Revision., , and . FQAS, volume 7 of Advances in Soft Computing, page 182-191. Physica-Verlag Heidelberg New York, A Springer-Verlag Company, (2000)Improving Integrity Checking by Compiling Derivation Paths., , and . Australian Database Conference, page 145-160. World Scientific, (1993)