Attribute inheritance implemented on top of a relational database system
In: Data engineering / International Conference on Data Engineering <6, 1990, Los Angeles, Calif.>, Jg. 1990, S. 503-5092009
Ein Beweisverfahren für Datenbankprädikate
In: Proc. of the German Workshop on Artificial Intelligence, GW AI-85, Informatik-Fachberichte 118, Jg. 9.1985, S. 164-1752009Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-2732009An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-8902009Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-1292009Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-242009On transactions in logic programming languages
In: Logic programming : proceedings of the Eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]2009Orchestrating network services using multi-domain, heterogeneous resources
Elektronische Ressource, Paderborn, 2020A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Jg. 1990, S. 1-102009A tool kit for knowledge based production planning systems
In: Database and expert systems applications, Jg. 1990, S. 84-892009