A deductive database audit trail
暂无分享,去创建一个
[1] Eric L. Denna. Toward a representation of auditor knowledge: evidence aggregation and evaluation , 1989 .
[2] E. F. Codd,et al. Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..
[3] Johann Eder,et al. Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.
[4] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[5] Shalom Tsur,et al. LDL-a technology for the realization of tightly coupled expert database systems , 1988, IEEE Expert.
[6] Graham Gal. Using auditor knowledge to formulate data model constraints: an expert system for internal control evaluation , 1985 .
[7] Donald H. Taylor. Handbook of mathematical and statistical techniques for accountants , 1977 .
[8] Jack Minker,et al. Logic and Databases: A Deductive Approach , 1984, CSUR.
[9] Letizia Tanca,et al. Logic Programming and Databases , 1990, Surveys in Computer Science.
[10] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[11] C. J. Date. An Introduction to Database Systems, Volume II , 1980 .
[12] Jack Minker. Foundations of deductive databases and logic programming , 1988 .
[13] Nick Roussopoulos,et al. Metadata Management , 1986, Computer.
[14] Shamim A. Naqvi,et al. A Logical Language for Data and Knowledge Bases , 1989 .