Foundations of Aggregation in Deductive Databases
暂无分享,去创建一个
[1] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.
[2] David W. Stemple,et al. Specification and verification of abstract database types , 1984, PODS '84.
[3] Abraham Silberschatz,et al. Safety of recursive Horn clauses with infinite relations , 1987, PODS '87.
[4] David W. Stemple,et al. Automatic verification of database transaction safety , 1989, ACM Trans. Database Syst..
[5] Sergio Greco,et al. Minimum and maximum predicates in logic programming , 1991, PODS '91.
[6] S. Sudarshan,et al. Aggregation and Relevance in Deductive Databases , 1991, VLDB.
[7] Peter J. Stuckey,et al. Semantics of Logic Programs with Aggregates , 1991, ISLP.
[8] Kenneth A. Ross,et al. Monotonic aggregation in deductive databases , 1992, J. Comput. Syst. Sci..
[9] Divesh Srivastava,et al. The valid model semantics for logic programs , 1992, PODS '92.
[10] Limsoon Wong,et al. Naturally Embedded Query Languages , 1992, ICDT.
[11] Allen Van Gelder,et al. The well-founded semantics of aggregation , 1992, PODS.
[12] Limsoon Wong,et al. Normal forms and conservative properties for query languages over collection types , 1993, PODS.
[13] Richard Hull,et al. Safety and translation of calculus queries with scalar functions , 1993, PODS.