Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies

Information Systems

Volumn 35, Issue 3, 2010, Pages 352-374

  Langeveldt, Warren Dean ^a   Link, Sebastian ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Armstrong relation; Completeness; Functional dependency; Knowledge acquisition; Soundness

Indexed keywords

APPLICATION DOMAINS; ARMSTRONG RELATIONS; AUTOMATED ASSESSMENT; COMPLETENESS; DATA ANALYSIS; DATA DEPENDENCIES; DATA SEMANTICS; DATABASE COURSE; DESIGN TEAM; EMPIRICAL EVIDENCE; FUNCTIONAL DEPENDENCY; REQUIREMENTS ELICITATION;

FINITE DIFFERENCE METHOD;

KNOWLEDGE ACQUISITION;

EID: 73049083712     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2009.11.002     Document Type: Article

References (87)

1. Armstrong W.W. Dependency structures of database relationships. Inf. Process. 74 (1974) 580-583
2. Enders A., and Romback H. A Handbook of Software and Systems Engineering; Empirical Observations, Laws and Theories (2003), Addison-Wesley, Reading, MA
3. Lauesen S., and Vinter O. Preventing requirement defects: an experiment in process improvement. Requir. Eng. 6 1 (2001) 37-50
4. Martin J. Information Engineering (1989), Prentice-Hall, Englewood Cliffs, NJ
5. Standish Group, The CHAOS Report, The Standish Group International, available on-line at 〈http://www.standishgroup.com/sample_research/chaos_1994_1.php〉, 1994.
6. Standish Group, Unfinished voyages, The Standish Group International, available on-line at 〈http://www.standishgroup.com/sample_research/unfinsihed_voyages_1.php〉, 1995.
7. Boehm B. Software Engineering Economics (1981), Prentice-Hall, Englewood Cliffs, NJ
8. R. Zultner, The deming way: total quality management for software, in: Proceedings of Total Quality Management for Software, 1992, pp. 134-145.
9. Mannila H., and Räihä K.-J. Design by example: an application of Armstrong relations. J. Comput. Syst. Sci. 33 2 (1986) 126-141
10. J. Baixeries, J. Balcázar, Characterization and Armstrong relations for degenerate multivalued dependencies using formal concept analysis, in: ICFCA Conference, 2005, pp. 162-175.
11. Fagin R. Horn clauses and database dependencies. J. ACM 29 4 (1982) 952-985
12. Beeri C., Dowd M., Fagin R., and Statman R. On the structure of Armstrong relations for functional dependencies. J. ACM 31 1 (1984) 30-46
13. Hartmann S. On the implication problem for cardinality constraints and functional dependencies. Ann. Math. Artif. Intell. 33 2-4 (2001) 253-307
14. De Marchia F., and Petit J.-M. Semantic sampling of existing databases through informative Armstrong databases. Inf. Syst. 32 3 (2007) 446-457
15. Bisbal J., and Grimson J. Consistent database sampling as a database prototyping approach. J. Software Maintenance 14 6 (2002) 447-459
16. J. Ullman, Improving the efficiency of database-system teaching, in: SIDMOD Conference, 2003, pp. 1-3.
17. Delobel C., and Adiba M. Relational Database Systems (1985), North-Holland, Amsterdam
18. Batini C., Ceri S., and Navathe S.B. Conceptual Database Design: An Entity-Relationship Approach (1992), Benjamin Cummings
19. Thalheim B. Entity-Relationship Modeling: Foundations of Database Technology (2000), Springer, Berlin
20. Abiteboul S., Hull R., and Vianu V. Foundations of Databases (1995), Addison-Wesley, Reading, MA
21. Beeri C., and Bernstein P.A. Computational problems related to the design of normal form relational schemata. ACM Trans. Database Syst. 4 1 (1979) 30-59
22. Bernstein P. Synthesizing third normal form relations from functional dependencies. ACM Trans. Database Syst. 1 4 (1976) 277-298
23. J. Biskup, U. Dayal, P. Bernstein, Synthesizing independent database schemas, in: SIGMOD Conference, 1979, pp. 143-151.
24. E.F. Codd, Further normalization of the database relational model, in: Courant Computer Science Symposia 6: Data Base Systems, Prentice-Hall, Englewood Cliffs, NJ, 1972, pp. 33-64.
25. Maier D. The Theory of Relational Databases (1983), Computer Science Press
26. Mannila H., and Räihä K.-J. Design of Relational Databases (1992), Addison-Wesley, Reading, MA
27. Klug A., and Price R. Determining view dependencies using tableaux. ACM Trans. Database Syst. 7 3 (1982) 361-380
28. Cali A., Calvanese D., De Giacomo G., and Lenzerini M. Data integration under integrity constraints. Inf. Syst. 29 2 (2004) 147-163
29. Miller R., Hernandez M., Haas L., Yan L.-L., Ho C., Fagin R., and Popa L. The Clio project: managing heterogeneity. SIGMOD Rec. 30 1 (2001) 78-83
30. Q. Cheng, J. Gryz, F. Koo, C. Leung, L. Liu, X. Qian, K. Schiefer, Implementation of two semantic query optimization techniques in DB2 universal database, in: VLDB Conference, 1999, pp. 687-698.
31. Deutsch A., Ludäscher B., and Nash A. Rewriting queries using views with access patterns under integrity constraints. Theor. Comput. Sci. 371 3 (2007) 200-226
32. Biskup J., Embley D., and Lochner J. Reducing inference control to access control for normalized database schemas. Inf. Process. Lett. 106 1 (2008) 8-12
33. Miklau G., and Suciu D. A formal analysis of information disclosure in data exchange. J. Comput. Syst. Sci. 73 3 (2007) 507-534
34. Atzeni P., and Morfuni N. Functional dependencies and constraints on null values in database relations. Inf. Control 70 1 (1986) 1-31
35. Levene M., and Loizou G. Axiomatisation of functional dependencies in incomplete relations. Theor. Comput. Sci. 206 1-2 (1998) 283-300
36. Fischer P.C., Saxton L.V., Thomas S.J., and Van Gucht D. Interactions between dependencies and nested relational structures. J. Comput. Syst. Sci. 31 3 (1985) 343-354
37. Hartmann S., Link S., and Schewe K.-D. Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. Theor. Comput. Sci. 355 2 (2006) 167-196
38. Hartmann S., Link S., and Schewe K.-D. Functional and multivalued dependencies in nested databases generated by record and list constructor. Ann. Math. Artif. Intell. 46 1-2 (2006) 114-164
39. Hartmann S., and Link S. Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic 152 1-3 (2008) 84-106
40. Tari Z., Stokes J., and Spaccapietra S. Object normal forms and dependency constraints for object-oriented schemata. ACM Trans. Database Syst. 22 (1997) 513-569
41. Weddell G. Reasoning about functional dependencies generalized for semantic data models. ACM Trans. Database Syst. 17 1 (1992) 32-64
42. Jensen C., Snodgrass R., and Soo M. Extending existing dependency theory to temporal databases. IEEE Trans. Knowl. Data Eng. 8 4 (1996) 563-582
43. Wijsen J. Temporal FDs on complex objects. ACM Trans. Database Syst. 24 1 (1999) 127-176
44. Sözat M., and Yazici A. A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations. ACM Fuzzy Sets Syst. 117 2 (2001) 161-181
45. Toman D., and Weddell G. On keys and functional dependencies as first-class citizens in description logics. J. Autom. Reasoning 40 2-3 (2008) 117-132
46. Arenas M., and Libkin L. A normal form for XML documents. ACM Trans. Database Syst. 29 1 (2004) 195-232
47. M. Bojanczyk, A. Muscholl, T. Schwentick, L. Segoufin, Two-variable logic on data trees and XML reasoning, J. ACM 56 (3) (2009).
48. Buneman P., Davidson S., Fan W., Hara C., and Tan W. Keys for XML. Comput. Networks 39 5 (2002) 473-487
49. Arenas M., Fan W., and Libkin L. On the complexity of verifying consistency of XML specifications. SIAM J. Comput. 38 3 (2008) 841-880
50. S. Hartmann, T. Trinh, Axiomatising functional dependencies for XML with frequencies, in: FoIKS Conference, 2006, pp. 159-178.
51. Hartmann S., and Link S. Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst. 34 2 (2009) 33
52. S. Hartmann, S. Link, Expressive, yet tractable XML keys, in: EDBT Conference, no. 360 in International Conference Proceeding Series, ACM, New York, 2009, pp. 357-367.
53. Kolahi S. Dependency-preserving normalization of relational and XML data. J. Comput. Syst. Sci. 73 4 (2007) 636-647
54. Vincent M., Liu J., and Liu C. Strong functional dependencies and their application to normal forms in XML. ACM Trans. Database Syst. 29 3 (2004) 445-462
55. W. Fan, F. Geerts, X. Jia, A. Kementsietsidis, Conditional functional dependencies for capturing data inconsistencies, ACM Trans. Database Syst. 33 (2) (2008).
56. Davidson S., Fan W., and Hara C. Propagating XML constraints to relations. J. Comput. Syst. Sci. 73 3 (2007) 316-361
57. J. Chomicki, Consistent query answering: five easy pieces, in: ICDT Conference, 2007, pp. 1-17.
58. Fagin R., Kolaitis P., Miller R., and Popa L. Data exchange: semantics and query answering. Theor. Comput. Sci. 336 1 (2005) 89-124
59. L. Libkin, Data exchange and incomplete information, in: PODS, 2006, pp. 60-69.
60. R. Fagin, Armstrong databases, Technical Report RJ3440(40926), IBM Research Laboratory, San Jose, CA, USA, 1982.
61. Fagin R., and Vardi M. Armstrong databases for functional and inclusion dependencies. Inf. Process. Lett. 16 1 (1983) 13-19
62. C. Beeri, R. Fagin, J. Howard, A complete axiomatization for functional and multivalued dependencies in database relations, in: SIGMOD Conference, ACM, New York, 1977, pp. 47-61.
63. M. Vincent, B. Srinivasan, Armstrong relations for functional and multivalued dependencies in relational databases, in: ADC Conference, 1993, pp. 317-328.
64. Gottlob G., and Libkin L. Investigation on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybern. 9 4 (1990) 385-402
65. Demetrovics J., and Thi V. Armstrong relations, functional dependencies and strong dependencies. Comput. Artif. Intell. 14 3 (1995) 279-298
66. V. Thi, N. Son, On Armstrong relations for strong dependencies, Acta Cybern. 17 (3) (2006).
67. Demetrovics J., Katona G., and Miklos D. Partial dependencies in relational databases and their realization. Discrete Appl. Math. 40 2 (1992) 127-138
68. Demetrovics J., and Sali A. The characterization of branching dependencies. Discrete Appl. Math. 40 2 (1992) 139-153
69. Thalheim B. On semantic issues connected with keys in relational databases permitting null values. Elektron. Informationsverarbeitung Kybernetik 25 1-2 (1989) 11-20
70. A. Silva, M. Melkanoff, A method for helping discover the dependencies of a relation, in: Advances in Data Base Theory, 1979, pp. 115-133.
71. D. Bitton, J. Millman, S. Torgersen, DBE: an expert tool for database design, in: CAiSE Conference, 1991, pp. 240-263.
72. De Marchi F., Lopes S., Petit J.-M., and Toumani F. Analysis of existing databases at the logical level: the DBA companion project. SIGMOD Rec. 32 1 (2003) 47-52
73. Bisbal J., and Grimson J. Database sampling with functional dependencies. Inf. Software Technol. 43 10 (2001) 607-615
74. F. De Marchi, S. Lopes, J.-M. Petit, Samples for understanding data-semantics in relations, in: ISMIS Conference, 2002, pp. 565-573.
75. Bisbal J., Grimson J., and Bell D. A formal framework for database sampling. Inf. Software Technol. 47 12 (2005) 819-828
76. J. Kivinen, The power of sampling in knowledge discovery, in: PoDS Conference, 1994, pp. 77-85.
77. Neufeld A., Moerkotte G., and Lockemann P. Generating consistent test data for a variable set of general consistency constraints. VLDB J. 2 2 (1993) 173-213
78. Storey V., Chiang R., Dey D., Goldstein R., and Sundaresan S. Database design with common sense business reasoning and learning. ACM Trans. Database Syst. 22 4 (1997) 471-512
79. Noble H. The automatic generation of test data for a relational database. Inf. Syst. 8 2 (1983) 79-86
80. Brown M., and Sedgewick R. Techniques for algorithm animation. IEEE Software 2 1 (1985) 28-39
81. Hartmann S., Link S., and Trinh T. Constraint acquisition for Entity-Relationship models. Data Knowl. Eng. 68 10 (2009) 1128-1155
82. S. Dekeyser, M. de Raadt, T. Lee, Computer assisted assessment of SQL query skills, in: ADC Conference, 2007, pp. 53-62.
83. P. Thomas, K. Waugh, N. Smith, Experiments in the automatic marking of ER-diagrams, in: ITiCSE Conference, 2005, pp. 158-162.
84. Codd E.F. A relational model of data for large shared data banks. Commun. ACM 13 6 (1970) 377-387
85. Maier D. Minimum covers in relational database model. J. ACM 27 4 (1980) 664-674
86. Fagin R. Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2 3 (1977) 262-278
87. Link S. Charting the completeness frontier of inference systems for multivalued dependencies. Acta Inf. 45 7-8 (2008) 565-591