论文信息 - FLORA: The Secret of Object-Oriented Logic Programming - 字舞流文

FLORA: The Secret of Object-Oriented Logic Programming

Michael Kifer | Guizhen Yang | Bertram Ludaescher

[1] Georg Lausen,et al. Access to Objects by Path Expressions and Rules , 1994, VLDB.

[2] Bertram Ludäscher,et al. Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective , 1998, Inf. Syst..

[3] Michael Kifer,et al. Querying object-oriented databases , 1992, SIGMOD '92.

[4] Allen Van Gelder,et al. The Alternating Fixpoint of Logic Programs with Negation , 1989, J. Comput. Syst. Sci..

[5] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.

[6] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.