default search action
Search dblp for Publications
export results for "toc:db/conf/deductive/deductive92.bht:"
@inproceedings{DBLP:conf/deductive/BayramB92, author = {Zeki O. Bayram and Barrett R. Bryant}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Conditional Term Rewriting as a Deductive Database Language}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {126--135}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Wed, 04 Dec 2013 14:42:57 +0100}, biburl = {https://dblp.org/rec/conf/deductive/BayramB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/BertinoMM92, author = {Elisa Bertino and Maurizio Martelli and Danilo Montesi}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Modeling Database Updates with Constraint Logic Programming}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {175--184}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/BertinoMM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Chaudhuri92, author = {Surajit Chaudhuri}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Finding Nonrecursive Envelopes for Datalog Predicates}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {96--105}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Chaudhuri92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Gaasterland92, author = {Terry Gaasterland}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Coherent Cooperative Answers in Deductive Databases}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {155--162}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Gaasterland92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/GuptaKM92, author = {Ashish Gupta and Dinesh Katiyar and Inderpal Singh Mumick}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Counting solutions to the View Maintenance Problem}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {185--194}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Wed, 31 Oct 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/deductive/GuptaKM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/GuptaU92, author = {Ashish Gupta and Jeffrey D. Ullman}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Verification (Abstract)}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {195}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Wed, 31 Oct 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/deductive/GuptaU92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Han92, author = {Jia Liang Han}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {An Efficient Bottom-ip Evaluation for Datalog}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {146--154}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Han92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/HanL92, author = {Jiawei Han and Tong Lu}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {N-Queens Problem Revisited: {A} Deductive Database Approach}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {48--55}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/HanL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/HarrisonD92, author = {John V. Harrison and Suzanne W. Dietrich}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {56--65}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/HarrisonD92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Jakobsson92, author = {H{\aa}kan Jakobsson}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {On Join-Order Optimal Compositions and Optimizing Recursive Queries}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {66--75}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Jakobsson92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/KhandakerFM92, author = {Zahidul A. Khandaker and Jos{\'{e}} Alberto Fern{\'{a}}ndez and Jack Minker}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {A Tractable Class of Disjunctive Deductive Databases}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {11--20}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/KhandakerFM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/LefebvreBT92, author = {Alexandre Lefebvre and Peter Bernus and Rodney W. Topor}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Query Transformation for Accessing Heterogeneous Databases}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {31--40}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/LefebvreBT92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/LevyMSS92, author = {Alon Y. Levy and Inderpal Singh Mumick and Yehoshua Sagiv and Oded Shmueli}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {1--10}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/LevyMSS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/LiuH92, author = {Ling Liu and Jiawei Han}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Compressed Counting Method}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {76--85}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/LiuH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Morishita92, author = {Shinichi Morishita}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {An anternating fixpoint tailored to magic programs}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {86--95}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Morishita92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/MumickR92, author = {Inderpal Singh Mumick and Kenneth A. Ross}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {An Architecture for Declarative Object-Oriented Databases}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {21--30}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/MumickR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Raschid92, author = {Louiqa Raschid}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {163--174}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Raschid92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/SeipelA92, author = {Dietmar Seipel and Hans Argenton}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Wavefront Techniques for Recursive Logic Programs}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {116--125}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/SeipelA92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Smith92, author = {Devin E. Smith}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {An Integrated Reactor Physics and Source Term Calculation Based on Deductive Database Principles}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {41--47}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Smith92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/SudarshanR92, author = {S. Sudarshan and Raghu Ramakrishnan}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended Abstract)}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {136--145}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Thu, 02 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/SudarshanR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/TorosluQH92, author = {Ismail H. Toroslu and Ghassan Z. Qadah and Lawrence J. Henschen}, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language}, booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, pages = {106--115}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/TorosluQH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/deductive/1992, editor = {Kotagiri Ramamohanarao and James Harland and Guozhu Dong}, title = {Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992}, series = {Technical Report}, volume = {{CITRI/TR-92-65}}, publisher = {Department of Computer Science, University of Melbourne}, year = {1992}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/deductive/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.