Integrity checking and maintenance in relational and deductive databases and beyond

Intelligent Databases: Technologies and Applications

Volumn , Issue , 2006, Pages 238-285

  Martinenghi, Davide ^a   Christiansen, Henning ^a   Decker, Hendrik ^b  

^a ROSKILDE UNIVERSITY   (Denmark)

^b INSTITUTO DE TECNOLOGÍA QUÍMICA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84899385786     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-59904-120-9.ch010     Document Type: Chapter

References (123)

1. Abiteboul, S., Buneman, P., & Suciu, D. (1999). Data on the Web: From relations to semistructured data and XML. Morgan Kaufmann.
2. Abiteboul, S., Hull, R., &Vianu, V. (1995). Foundations of databases. Addison-Wesley.
3. Abrão, M., Bouchou, B., Halfeld Ferrari Alves, M., Laurent, D., & Musicante, M. (2004, August 29-30). Incremental constraint checking for XML documents. In Proceedings of Database and XML Technologies, 2nd International XML Database Symposium, XSym 2004, Toronto, Canada (LNCS 3186, pp. 112-127). Springer.
4. Alon, N., Milo, T., Neven, F., Suciu, D., & Vianu, V. (2003). XML with data values: Typechecking revisited. J. Comput. Syst. Sci., 66(4), 688-727.
5. Apt, K. R., Blair, H. A., & Walker, A. (1988). Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming (pp. 89-148). Morgan Kaufmann.
6. Arenas, M., Bertossi, L., & Chomicki, J. (1999, May 31-June 2). Consistent query answers in inconsistent databases. In Proceedings of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, PA (pp. 68-79). ACM Press.
7. Arenas, M., Fan, W., & Libkin, L. (2005). Consistency issues in XML databases. In Inconsistency Tolerance [result from a Dagstuhl seminar] (LNCS 3300, pp. 15-41). Spinger-Verlag.
8. Arenas, M., & Libkin, L. (2004). A normal form for XML documents. ACM Trans. Database Syst, 29, 195-232.
9. Arieli, O., Denecker, M., Van Nuffelen, B., & Bruynooghe, M. (2004, February 17-20). Database repair by signed formulae. In Foundations of Information and Knowledge Systems, 3rd International Symposium, (FoIKS 2004), Wilhelminenburg Castle, Austria (LNCS 2942, pp. 14-30). Springer.
10. Ayari, A., & Basin, D. (2002). QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. In Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD'02) (LNCS 2517, pp. 187-201). Springer.
11. Bancilhon, F. (1986). Naive evaluation of recursively defined relations. In M. L. Brodie, & J. Mylopoulos (Eds.), On knowledge base management systems (Islamorada): Integrating artificial intelligence and database technologies (pp. 165-178). Springer Verlag.
12. Barbosa, D., Mendelzon, A., Libkin, L., Mignet, L., & Arenas, M. (2004, March 30-April 2) Efficient incremental validation of XML documents. In Proceedings of the 20th International Conference on Data Engineering, (ICDE 2004), Boston (pp. 671-682). IEEE Computer Society
13. Behrend, A. (2003). Soft stratification for magic set based query evaluation in deductive databases. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (pp. 102-110). ACM Press.
14. Behrend, A. (2004). Soft stratification for transformation-based approaches to deductive databases. PhD thesis, University of Bonn.
15. Behrend, A., Manthey, R., & Pieper, B. (2001, March 7-9) An amateur's introduction to constraints and integrity checking in SQL3. In Datenbanksysteme in Büro, Technik und Wissenschaft (BTW), 9. GI-Fachtagung, Oldenburg (pp. 405-423). Informatik Aktuell, Springer.
16. Benedikt, M., Bruns, G., Gibson, J., Kuss, R., & Ng, A. (2002). Automated update management for XML Integrity Constraints. In Online Informal Proceedings of PLAN-X Workshop. Retrieved from http://homepages.inf.ed.ac.uk/wadler/planx/planx-eproceed/papers/E00-1591816349.ps
17. Benedikt, M., Chan, C. Y., Fan, W., Freire, J., & Rastogi, R. (2003, June 9-12) Capturing both types and constraints in data integration. In Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, San Diego, CA (pp. 277-288). ACM.
18. Bernstein, P. A., & Blaustein, B. T. (1982, June 2-4). Fast methods for testing quantified relational calculus assertions. In Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, Orlando, FL (pp. 39-50). ACM Press.
19. Bonatti, P. A. (2004, June 14-16). On the decidability of containment of recursive datalog queries - Preliminary report. In Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Paris, France (pp. 297-306). ACM Press.
20. Braga, D., Campi, A., & Ceri, S. (2005). XQBE (XQuery by example): A visual interface to the standard XML Query Language. ACM Transactions in Database Systems, 30(2), 398-443.
21. Bray, T., Paoli, J., & Sperberg-McQueen, C. (1998). Extensible Markup Language (XML) 1.0. W3C.
22. Bry, F., Decker, H., & Manthey, R. (1988, March 14-18). A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. In Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy (LNCS 303, pp. 488-505). Springer.
23. Buneman, P., Davidson, S., Fan, W., Hara, C., & Tan, W. (2002). Keys for XML. Computer Networks, 39(5), 473-487.
24. Buneman, P., Davidson, S., Fan, W., Hara, C., & Tan, W. (2003a). Reasoning about keys for XML. Information Systems, 28(8), 1037-1063.
25. Buneman, P., Fan, W., & Weinstein, S. (2003b). Interaction between path and type constraints. ACM Trans. Comput. Log., 4(4), 530-577.
26. Cadoli, M., Schaerf, M., Giovanardi, A., & Giovanardi, M (2002). An algorithm to evaluate quantified Boolean formulae and its experimental evaluation. Automated Reasoning, 28(2), 101-142.
27. Calì, A., Calvanese, D., De Giacomo, G., & Lenzerini, M. (2004). Data integration under integrity constraints. Information Systems, 29(2), 147-163.
28. Calì, A., Lembo, D., & Rosati, R. (2003). On the decidability and complexity of query answering over inconsistent and incomplete databases. In PODS '03: Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 260-271). ACM Press.
29. Calvanese, D., De Giacomo, G., & Lenzerini, M. (1998). On the decidability of query containment under constraints. In Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (pp. 149-158). ACM Press.
30. Calvanese, D., De Giacomo, G., & Vardi, M. (2003, January 8-10). Decidable containment of recursive queries. In Database Theory (ICDT 2003), 9th International Conference, Siena, Italy (LNCS 2572, pp. 330-345). Springer.
31. Carlsson, M., Ottosson, G., & Carlson, B. (1997). An open-ended finite domain constraint solver. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics, & Programs (PLILP'97) (LNCS 1292). Springer.
32. Carmo, J., Demolombe, R., & Jones, A. (2001). An application of deontic logic to information system constraints. Fundam. Inform., 48(2-3), 165-181.
33. Ceri, S., Cochrane, R., & Widom, J. (2000, September 10-14). Practical applications of triggers and constraints: Success and lingering issues (10-Year Award). In Proceedings of 26th International Conference on Very Large Data Bases (VLDB 2000), Cairo, Egypt (pp. 254-262). Morgan Kaufmann.
34. Ceri, S., Fraternali, P., Paraboschi, S., & Tanca, L. (1994). Automatic generation of production rules for integrity maintenance. ACM Trans. Database Syst., 19(3), 367-422.
35. Ceri, S., Gottlob, G. & Tanca, L. (1990). Logic programming and databases. New York: Springer-Verlag.
36. Ceri, S., & Widom, J. (1990, August 13-16). Deriving production rules for constraint maintainance. In Proceedings of the 16th International Conference on Very Large Data Bases, Brisbane, Queensland, Australia (pp. 566-577). Morgan Kaufmann.
37. Chomicki, J. (1995). Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Database Syst., 20(2), 149-186,
38. Christiansen, H. & Martinenghi, D. (2003, August 25-27) Simplification of database integrity constraints revisited: A transformational approach. In Logic Based Program Synthesis and Transformation, 13th International Symposium (LOPSTR 2003), Uppsala, Sweden, revised selected papers (LNCS 3018, pp. 178-197). Springer.
39. Christiansen, H., & Martinenghi, D. (2004, February 17-20), Simplification of integrity constraints for data integration. In Foundations of Information and Knowledge Systems, 3rd International Symposium (FoIKS 2004), Wilhelminenburg Castle, Austria (LNCS 2942, pp. 31-48). Springer.
40. Codd, E. F. (1972). Further normalization of the database relational model. In R. Rustin (Ed.), Courant Computer Science Symposium 6: Data Base Systems (pp. 33-64). Englewood Cliffs, NJ: Prentice-Hall.
41. Cohen, S., Nutt, W., & Serebrenik, A. (1999, May 31-June 2). Rewriting aggregate queries using views. In Proceedings of the 18th ACM SIGACT-SIGMOD-SI-GART Symposium on Principles of Database Systems, Philadelphia, PA (pp. 155-166). ACM Press.
42. Comai, S., Damiani, E., & Fraternali, P. (2001). Computing graphical queries over xml data. ACM TOIS, 19(4), 371-430.
43. Cowley, W., & Plexousakis, D. (2000, September 10-14). Temporal integrity constraints with indeterminacy. In Proceedings of 26th International Conference on Very Large Data Bases (VLDB 2000), Cairo, Egypt (pp. 441-450). Morgan Kaufmann.
44. Das, S. (1992). Deductive databases and logic programming. Addison-Wesley.
45. de Amo, S., Carnielli, W. A., & Marcos, J. (2002, February 20-23). A logical framework for integrating inconsistent information in multiple fatabases. In Foundations of Information and Knowledge Systems, 2nd International Symposium, (FoIKS 2002) Salzau Castle, Germany (LNCS 2284, pp. 67-84). Springer.
46. Decker, H. (1987). Integrity enforcement on deductive databases. In Expert Database Conferences 1986 Proceedings, Charleston, SC (pp. 381-395).
47. Decker, H. (1996, September 2-6). An extension of SLD by abduction and integrity maintenance for view updating in deductive databases. In M. J. Maher (Ed.), Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, Bonn, Germany (pp. 157-169). MIT Press.
48. Decker, H. (2002). Translating advanced integrity checking technology to SQL, in Database integrity: Challenges and solutions (pp. 203-249). Hershey, PA: Idea Group Publishing.
49. Decker, H., & Celma, M. (1994, June 13-18). A slick procedure for integrity checking in deductive databases. In P. V. Hentenryck (Ed.), Logic Programming, Proceedings of the 11th International Conference on Logic Programming, Santa Margherita Ligure, Italy (pp. 456-469). MIT Press.
50. Deutsch, A., Fernandez, M., & Suciu, D. (1999, June 1-3). Storing semi-structured data with STORED. In A. Delis, C. Faloutsos, & S. Ghandeharizadeh (Eds.), SIGMOD 1999, Proceedings ACM SIGMOD International Conference on Management of Data, Philadelphia, PA (pp. 431-442). ACM Press.
51. Deutsch, A., & Tannen, V. (2001 September 15). Containment and integrity constraints for XPath. In M. Lenzerini, D. Nardi, W. Nutt, & D. Suciu (Eds.), Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy.
52. Dijkstra, E. W. (1976). A discipline of programming. Prentice-Hall.
53. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., & Scarcello, F. (1998). The KR system dlv: Progress report, comparisons and benchmarks. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), (pp. 406-417). Morgan Kaufmann Publishers.
54. Eshghi, K., & Kowalski, R. (1989, June 19-23). Abduction compared with negation by failure. In G. Levi, & M. Martelli (Eds.), Logic Programming, Proceedings of the 6th International Conference, Lisbon, Portugal (pp. 234-254). MIT Press.
55. Fagin, R. (1977). Multivalued dependencies and a new normal form for relational databases. ACM Transactions in Database Systems, 2(3), 262-278.
56. Fan, W. (2005, August 22-26). XML constraints: Specification, analysis, and applications. In H. Christiansen, & D. Martinenghi (Eds.), LAAIC'05, Proceedings of the 1st International Workshop on Logical Aspects and Applications of Integrity Constraints. Included in Proceedings of DEXA 2005, International Workshop on Database and Expert Systems Applications, Copenhagen, Denmark (pp. 805-809). IEEE Computer Society.
57. Fan, W., Kuper, G. M., & Siméon, J. (2002). A unified constraint model for XML. Computer Networks, 39(5), 489-505.
58. Fan, W., & Libkin, L. (2002). On XML integrity constraints in the presence of DTDs. Journal of the ACM, 49(3), 368-406
59. Fan, W., & Siméon, J. (2003). Integrity constraints for XML. Journal Comput. Syst. Sci,. 66(1), 254-291.
60. Filha, I. M. R. E., Laender, A. H. F., & da Silva, A. S. (2001, April 9-11). Querying semistructured data by example: The QSByE interface. In E. Simon, & A. K. Tanaka (Eds.), Filha, I. M. R. E., Laender, A. H. F., & da Silva, A. S (pp. 156-163), Rio de Janeiro, Brazil.
61. Florescu, D., Levy, A., & Suciu, D. (1998, June 1-3). Query containment for conjunctive queries with regular expressions. In PODS '98. Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Seattle, WA (pp. 139-148). ACM Press.
62. Godfrey, P., Grant, J., Gryz, J. & Minker, J. (1998). Integrity constraints: Semantics and applications. In J. Chomicki, & G. Saake (Eds.), Logics for Databases and Information Systems (pp. 265-306). Kluwer.
63. Godfrey, P., Gryz, J., & Zuzarte, C. (2001). Exploiting constraint-like data characterizations in query optimization. In W. G. Aref (Ed.), SIGMOD 2001 Electronic Proceedings. Retrieved from http://www.acm.org/sigmod/sigmod01/eproceedings.
64. Gottlob, G., Koch, C., & Pichler, R. (2003, June 9-12). The complexity of XPath query evaluation. In Proceedings of the 22nd ACM SIGACT-SIGMOD-SI-GART Symposium on Principles of Database Systems, San Diego, CA (pp. 179-190).
65. Gottlob, G., Koch, C., & Schulz, K. (2004, June 14-16). Conjunctive Queries over Trees. In A. Deutsch (Ed.), Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Paris, France (pp. 189-200).
66. Grant, J., & Minker, J. (1990). Integrity constraints in knowledge-based systems. In Knowledge Engineering Applications (Vol. 3, pp. 1-25). McGraw Hill.
67. Grant, J., & Minker, J. (2002). A logic-based approach to data integration. Theory and Practice of Logic Programming, 2(3), 323-368.
68. Greco, S., Sirangelo, C., Trubitsyna, I., & Zumpano, E. (2003, July 16-18). Preferred repairs for inconsistent databases. In 7th International Database Engineering and Applications Symposium (IDEAS 2003), Hong Kong, China (pp. 202-211). IEEE Computer Society.
69. Grefen, P. W. P. J. & Apers, P. M. G. (1993). Integrity control in relational database systems - An overview. Data Knowl. Eng., 10, 187-223.
70. Griefahn, U. (1997). A uniform approach to the implementation of deductive databases. PhD dissertation, University of Bonn.
71. Gupta, A. & Mumick, I.S. (1999). Materialized views: Techniques, implementations, & applications. MIT Press.
72. Henschen, L., McCune, W., Naqvi, S. (1984). Compiling constraint-checking programs from first-order formulas. In H. Gallaire, J. Minker, & J. Nicolas, (Eds.), Advances in database theory (Vol. 2., pp. 145-169). New York: Plenum Press.
73. Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12(10), 576-580. ACM Press.
74. Ibrahim, H. (2001). An overview of integrity constraints enforcement for a distributed database. In Proceedings of the International Conference Parallel and Distributed Processing Techniques and Applications (PDPTA) (Vol. 2, pp. 822-828). CSREA Press.
75. Ibrahim, H., Gray, W. A., & Fiddian, N. J. (2001). Optimizing fragment constraints - A performance evaluation. Int. J. Intell. Syst., 16(3), 285-306.
76. Ibrahim, H. (2002). A strategy for semantic integrity checking in distributed databases. In Proceedings of the 9th International Conference on Parallel and Distributed Systems (ICPADS 2002) (pp. 139-144). IEEE Computer Society.
77. Jones, N. D. (1996). An introduction to partial evaluation. ACM Comput. Surv., 28(3), 480-503.
78. Jones, N. D., Gomard, C. K., & Sestoft, P. (1993). Partial evaluation and automatic program generation. Prentice Hall International.
79. Kakas, A., & Mancarella, P. (1990a, August 13-16). Database updates through abduction. In D. McLeod, R. Sacks-Davis, & H.-J. Schek (Eds.), 16th International Conference on Very Large Data Bases, Brisbane, Queensland, Australia (pp. 650-661). Morgan Kaufmann.
80. Kakas, A., & Mancarella, P. (1990b, August 6). Knowledge assimilation and abduction. In J. P. Martins, & M. Reinfrank (Eds.), Truth maintenance systems, ECAI-90 Workshop, Stockholm, Sweden (LNCS 515, pp. 54-70). Springer.
81. Klarlund, N., Schwentick, T., & Suciu, D. (2003). XML: Model, schemas, types, logics, and queries. In J. Chomicki, R. van der Meyden, & G. Saake (Eds.), Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar]. Springer.
82. Koenig, S., & Paige, R. (1981, September 9-11). A transformational framework for the automatic control of derived data. In Proceedings of the 7th International Conference of Very Large Data Bases, Cannes, France (pp. 306-318). IEEE Press.
83. Kowalski, R., & Sadri, F. (1999). From logic programming towards multi-agent systems. Ann. Math. Artif. Intell., 25(3-4), 391-419.
84. Kowalski, R., Toni, F, & Wetzel, G. (1998). Executing suspended logic programs. Fundam. Inform., 34(3), 203-224.
85. Krishnamurthy, R., Kaushik, R., & Naughton, J. F. (2003, September 8). XML-SQL query translation literature: The state of the art and open problems. In Z. Bellahsene, A. B. Chaudhri, E. Rahm, M. Rys, R. Unland (Eds.), Database and XML Technologies, 1st International XML Database Symposium, Berlin, Germany (LNCS 2824, pp. 1-18). Springer.
86. Laux, A., & Matin, L. (2000). XUpdate working draft. Retrieved from http://www.xmldb.org/xupdate
87. Lee, S., & Ling, T. (1996, September 3-6). Further improvements on integrity constraint checking for stratifiable deductive databases. In T. M. Vijayaraman, A. P. Buchmann, C. Mohan, & N. L. Sarda (Eds.), VLDB'96, Proceedings of 22nd International Conference on Very Large Data Bases, Mumbai, Bombay, India (pp. 495-505). Morgan Kaufmann.
88. Lenzerini, M. (2002, June 3-5). Data integration: A theoretical perspective. In L. Popa (Ed.), Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Madison, WI (pp. 233-246). ACM.
89. Leuschel, M., & De Schreye, D. (1998). Creating specialised integrity checks through partial evaluation of meta-interpreters. J. Log. Program., 36(2), 149-193.
90. Lloyd, J. (1987). Foundations of logic programming (2nd ed.). Berlin: Springer.
91. Lloyd, J., Sonenberg, L., &Topor, R. (1987). Integrity constraint checking in stratified databases. J. Log. Program., 4(4), 331-343.
92. Martinenghi, D. (2004). Simplification of integrity constraints with aggregates and arithmetic built-ins. In FQAS'04 Proceedings (LNCS 3055, 348-361). Springer.
93. May, W. (2004). XPath-Logic and XPathLog: A logic-programming-style XML data manipulation language. Theory and Practice of Logic Programming, 4(3), 239-287.
94. Mayol, E. & Teniente, E. (1999, November 15-18). A survey of current methods for integrity constraint maintenance and view updating. In P. P. Chen, D. W. Embley, J. Kouloumdjian, S. W. Liddle, & J. F. Roddick (Eds.), Advances in Conceptual Modeling: ER '99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France (LNCS 1727, pp. 62-73). Springer.
95. Muñoz, F., Irún, L., & Decker, H. (2005). An overview of different approaches to database replication. In J. H. Doorn, V. E. Ferraggine, & L. C. Rivero (Eds.), Encyclopedia of Database Technologies and Applications. Hershey, PA: Idea Group.
96. Neven, F., & Schwentick, T. (2003, January 8-10). XPath containment in the presence of disjunction, DTDs, and variables. In D. Calvanese, M. Lenzerini, & R. Motwani (Eds.), Database Theory - ICDT 2003, 9th International Conference, Siena, Italy (LNCS 2572, pp. 315-329). Springer.
97. Nicolas, J.-M. (1982). Logic for improving integrity checking in relational data bases. Acta Informatica, 18, 227-253.
98. Nilsson, U., & Małuzyński, J. (1995). Logic, programming and prolog (2nd ed.). John Wiley & Sons Ltd.
99. Özsu, M. T. & Valduriez, P. (1999). Principles of distributed database systems (2nd ed.). Prentice-Hall.
100. Paige, R. (1981). Formal differentiation. Ann Arbor, MI: UMI Research Press.
101. Paige, R. (1982, December 14-17). Applications of finite differencing to database integrity control and query/transaction optimization. In H. Gallaire, J.-M. Nicolas, & J. Minker (Eds.), Advances in data base theory (Vol. 2), based on the Proceedings of the Workshop on Logical Data Bases, Centre d'études et de recherches de Toulouse, France (pp. 171-209). New York: Plenum Press.
102. Paige, R., & Koenig, S. (1982). Finite differencing of computable expressions. ACM Trans. Program. Lang. Syst., 4(3), 402-454.
103. Papakonstantinou, Y., Petropoulos, M., & Vassalos, V. (2002, June 3-6). Qursed: Querying and reporting semistructured data. In M. J. Franklin, B. Moon, & A. Ailamaki (Eds.), Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, Madison, WI (pp. 192-203). ACM.
104. Papakonstantinou, Y., & Vianu, V. (2003). Incremental validation of XML documents. In Proceedings of ICDT (pp. 47-63).
105. Qian, X. (1988, February 1-5). An effective method for integrity constraint simplification. In Proceedings of the 4th International Conference on Data Engineering (pp. 338-345). Los Angeles, CA: IEEE Computer Society.
106. Rahm, E., & Bernstein, P. A. (2001). A survey of approaches to automatic schema matching. VLDB Journal, 10(4), 334-350.
107. Sadri, F., & Kowalski, R. (1988). A theorem-proving approach to database integrity. In J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming (pp. 313-362). Morgan Kaufmann.
108. Schwentick, T. (2004). XPath query containment. SIGMOD Record, 33(1), 101-109.
109. Seljée, R., & de Swart, H. (1999). Three types of redundancy in integrity checking: An optimal solution. Data Knowl. Eng., 30(2), 135-151.
110. Shanmugasundaram, J., Tufte, K., Zhang, C., He, G., DeWitt, D., & Naughton, J. (1999, September 7-10). Relational databases for querying XML documents: Limitations and opportunities. In M. P. Atkinson, M. E. Orlowska, P. Valduriez, S. B. Zdonik, & M. L. Brodie (Eds.), VLDB'99, Proceedings of 25th International Conference on Very Large Data Bases, Edinburgh, Scotland, UK (pp. 302-314). Morgan Kaufmann.
111. Shmueli, O. (1987). Decidability and expressiveness aspects of logic queries. In Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (pp. 237-249). ACM Press
112. Sur, G., Hammer, J., & Siméon, J. (2004). UpdateX - An XQuery-Based Language for processing updates in XML. In Programming Language Technologies for XML (PLANX04) (pp.40-53).
113. Tatarinov, I., Ives, Z., Halevy, A., &Weld, D. (2001). Updating XML. Presented at the SIGMOD Conference.
114. Thompson, H. et al. (2004). XML Schema. W3C Recommendation. Retrieved from http://www.w3.org/TR/xmlschema1
115. Toni, F., & Kowalski, R. (1995, June 13-16). Reduction of abductive logic programs to normal logic programs. In L. Sterling (Ed.), Logic Programming, Proceedings of the 12th International Conference on Logic Programming, Tokyo, Japan (pp. 367-381). MIT Press.
116. Ullman, J. D. (1988). Principles of database and knowledge-base systems I & II. Computer Science Press.
117. Van Gelder, A., Ross, K., & Schlipf, J. (1988, March 21-23). Unfounded sets and well-founded semantics for general logic programs. In Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Austin, TX (pp. 221-230). ACM.
118. Vianu, V. (2001, May 21-23) A Web odyssey: From Codd to XML. In Proceedings of the 20th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Santa Barbara, CA. ACM.
119. Vincent, M., Liu, J., & Liu, C. (2004). Strong functional dependencies and their application to normal forms in XML. ACM Trans. Database Syst., 29(3), 445-462.
120. W3C. (1999). XML Path Language (XPath). Retrieved from http://www.w3.org/TR/xpath
121. W3C. (2003). XML query use cases. Retrieved from http://www.w3.org/TR/xmlquery-use-cases
122. Wijsen, J. (2003, January 8-10). Condensed representation of database repairs for consistent query answering. In D. Calvanese, M. Lenzerini, & R. Motwani (Eds.), Database Theory - ICDT 2003, 9th International Conference, Siena, Italy (LNCS 2572, pp. 378-393). Springer.
123. Zloof, M. (1977). Query-by-example: A data base language. IBM Systems Journal, 16(4), 324-343.