转载自: http://www.cs.sunysb.edu/~kifer/ FLORA System!! 500)this.width=500'> Michael Kifer Greetings to the visitor to this page. Research interests 500)this.width=500'> Declarative languages for data and knowledge manipulation 500)this.width=500'> Integration of object-oriented and deductive paradigms 500)this.width=500'> Object-oriented databases 500)this.width=500'> Query optimization 500)this.width=500'> Logic programming 500)this.width=500'> Artificial intelligence Links 500)this.width=500'> Selected papers 500)this.width=500'> Foundations of Deductive Object-Oriented Databases 500)this.width=500'> The WEAVE Project ---> 500)this.width=500'> The Flora System 500)this.width=500'> Book: Databases and Transaction Processing: An Application-Oriented Approach 500)this.width=500'> Tutorial on Transaction Logic presented at ILPS'97 ---> 500)this.width=500'> Kool stuff Short Bio 500)this.width=500'> 1976: M.S. in Mathematics -- Moscow University, Russia 500)this.width=500'> 1985: Ph.D. in Computer Science -- Hebrew University of Jerusalem, Israel 500)this.width=500'> 1991 - 1992: Department of Computer Science -- University of Toronto, Canada 500)this.width=500'> 1984 - present: Department of Computer Science -- University at Stony Brook (Professor) Snail mail: Michael Kifer Department of Computer Science University at Stony Brook Stony Brook, Long Island, -->New York 11794-4400 U.S.A. 500)this.width=500'> visits since August 30, 1996. Michael Kifer --- kifer At cs.stonybrook.edu