Selected publications of R.W. Topor

Online versions of some papers are provided. Please email requests for any other papers to me at r.topor{at}griffith.edu.au.

• R.W. Topor, The Correctness of the Schorr-Waite List Marking Algorithm, Acta Informatica 11, 1 (1979), 211-221.
• R.W. Topor, Functional Programs for Generating Permutations, Computer Journal, 25, 2 (1982), 257-263.
• R.W. Topor, Fundamental Solutions of the Eight Queens Problem, BIT 22, 1 (1982), 42-52.
• R.W. Topor, Termination Detection for Distributed Computations, Information Processing Letters 18, 1 (1984), 33-36.
• J.W. Lloyd and R.W. Topor, Making PROLOG More Expressive, Journal of Logic Programming 1, 3 (1984), 225-240.
• J.W. Lloyd and R.W. Topor, A Basis for Deductive Database Systems, Journal of Logic Programming 2, 2 (1985), 93-109.
• J.W. Lloyd and R.W. Topor, A Basis for Deductive Database Systems II, Journal of Logic Programming 3, 1 (1986), 55-67.
• J.W. Lloyd, E.A. Sonenberg and R.W. Topor, Integrity Constraint Checking in Stratified Databases, Journal of Logic Programming 4, 4 (1987), 331-343.
• R.W. Topor, Domain Independent Formulas and Databases, Theoretical Computer Science 52, 3 (1987), 281-306.
• K.A. Ross and R.W. Topor, Inferring Negative Information from Disjunctive Databases, Journal of Automated Reasoning 4 (1988), 397-424.
• R.W. Topor and E.A. Sonenberg, On Domain Independent Databases, in: Foundations of Deductive Databases and Logic Programming, E. Minker (ed.), Morgan Kaufmann, Los Altos, Ca. (1988), 217-240.
• D.B. Kemp and R.W. Topor, Completeness of a Top-down Query Evaluation Procedure for Stratified Databases, Proc. 5th Int. Conf. on Logic Programming, Seattle, Wa. (1988), 178-194.
• E.A. Sonenberg and R.W. Topor, On Domain Independent Disjunctive Databases, Proc. 2nd Int. Conf. on Database Theory, Bruges, Belgium (1988). LNCS 326, Springer-Verlag, 281-291.
• A. Van Gelder and R.W. Topor, Safety and Translation of Relational Calculus Queries, ACM Transactions on Database Systems 16, 2 (1991), 235-278.
• R.W. Topor, Safe Database Queries with Arithmetic Relations, Proc. 14th Australian Computer Science Conf., Sydney (1991), 1-13. PS (156KB). A slightly extended version appeared as Theory of Database Queries with Arithmetic Relations, Technical Report 90/10, Dept of Computer Science, University of Melbourne (1990). PS (162KB).
• P.M. Hill and R.W. Topor, A Semantics of Typed Logic Programs, in: Types in Logic Programming, F. Pfenning (ed.), MIT Press (1992), 1-62. PS (506KB).
• G. Dong and R.W. Topor, Incremental Evaluation of Datalog Queries, Proc. 4th Int. Conf. on Database Theory, Berlin, Germany (1992). LNCS 646, Springer-Verlag, 282-296.
• G. Dobbie and R.W. Topor, A Model for Inheritance and Overriding in Object-Oriented Systems, Proc. 16th Australian Computer Science Conf., Brisbane (1993), 625-634. (PS, 173KB)
• M. Lawley and R.W. Topor, Integrity Constraint Checking and Weakest Preconditions, Proc. 4th Australian Database Conf., Brisbane (1993), 161-170.
• A. Lefebvre and P. Bernus and R.W. Topor, Querying Heterogeneous Databases: A Case Study, Proc. 4th Australian Database Conf., Brisbane (1993), 186-197.
• G. Dobbie and R.W. Topor, A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems, Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases, Phoenix, AZ (1993), 473-488 (PS, 160KB).
• R.W. Topor, Views of Objects and Rules. Proc. 5th Australasian Database Conf., Christchurch, N.Z. (1994), 1-13. Invited lecture.
• M. Lawley and R.W. Topor, A Query Language for EER Schemas, Proc. 5th Australasian Database Conf., Christchurch, N.Z. (1994), 292-304.
• S.D. Chen, H. Shen and R.W. Topor, An Improved Hash-Based Join Algorithm in the Presence of Double Skew on a Hypercube Computer, Proc. 17th Annual Computer Science Conf., Christchurch, N.Z. (1994), 179-188.
• E.A. Sonenberg and R.W. Topor, A Preferred Model Semantics for Inheritance Networks, Methods of Logic in Computer Science 1, 1 (1994), 3-18.
• G. Dobbie and R.W. Topor, Representing Inheritance and Overriding in Datalog, Computers and Artificial Intelligence (1994), 13, 2-3 (1994), 133-158 (PS, 269KB).
• S.D. Chen, H. Shen and R.W. Topor, An Efficient Permutation-Based Parallel Range-Join Algorithm on N-Dimensional Torus Computers, Information Processing Letters 52, 1 (1994), 35-38.
• G. Dobbie and R.W. Topor, On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems, Journal of Intelligent Information Systems 4, 2 (1995), 193-219 (PS, 251KB).
• P. Bernus, R.W. Topor and R. Wong, Translation of Relational Queries to Network Queries, Proc. 6th Australasian Database Conf., Adelaide (1995), 66-72.
• G. Dong, J. Su and R.W. Topor, Nonrecursive Incremental Evaluation of Datalog Queries, Annals of Mathematics and Artificial Intelligence 14, II-IV (1995), 187-223. Festschrift in Honor of Professor Jack Minker.
• G. Dobbie and R.W. Topor, Resolving Ambiguities caused by Multiple Inheritance, Proc. Fourth Int. Conf. on Deductive and Object-Oriented Database Systems, Singapore (1995). LNCS 1013, Springer, 265-280.
• S.D. Chen, H. Shen, and R.W. Topor, Efficient Parallel Permutation-Based Range-Join Algorithms on Mesh-Connected Computers, Proc. 1995 Asian Computing Science Conf., Pathumthani, Thailand (1995). LNCS 1023, Springer, 225-238.
• G. Dobbie and R.W. Topor, Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases, Proc. Workship on Logic in Databases (LID'96), San Miniato, Italy (1996). LNCS 1154, Springer, 389-397.
• R. Wong, H. Shen and R.W. Topor, A parallel bucket mutual range-join algorithm, Proc. Third Australasian Conf. on Parallel and Real-Time Systems, Brisbane (1996), 59-64.
• R. Wong, R.W. Topor and H. Shen, A parallel sort-balance mutual range-join algorithm on hypercube computers, Proc. Third IEEE Int. Conf. on Algorithms and Architectures for Parallel Processing (ICA3PP'97), Melbourne (1997), 731-744. Revised version in Microprocessors and Microsystems 22, 3-4 (1998), 209-215.
• D. Chen, C. Sun and R.W. Topor, Intention Preservation and Conflict Resolution in Cooperative Graphics Editors, Advances in Concurrent Engineering (CE'98), 63-72.
• S.D. Chen, H. Shen and R.W. Topor, Efficient algorithms for constructing Hamiltonian paths on meshes, Proc. Fifth Australasian Conf. on Parallel and Real-Time Systems, Adelaide (1998).
• R. Wong, H. Shen and R.W. Topor, Memory-restricted Parallel Multi-join Evaluation (Extended Abstract), Third Int. Symp. on Operations Research and its applications (ISORA'98), Kunming P. R. China (1998), 1-9.
• L. Shen, H. Shen, P.A. Pritchard and R.W. Topor, Finding the N Largest Itemsets (preliminary version), Proc. Int. Conf. on Data Mining, Rio de Janeiro, Brazil (1998), 211-222.
• J. Li, H. Shen and R.W. Topor, An Adaptive Method of Numerical Attribute Merging for Quantitative Association Rule Mining, International Computer Science Conference (ICSC'99), Hong Kong (1999), 41-50
• J. Li, H. Shen and R.W. Topor, Mining Optimal Class Association Rule Set, Fifth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD'01), Hong Kong (2001), 364-375.
• J. Wang, R.W. Topor, M.J. Maher, Reasoning with Disjunctive Constrained Tuple-Generating Dependencies, Proc. 12th Int. Conf. on Databases and Expert Systems (DEXA'2001), Munich, Germany (2001), 963-973.
• J. Li, H. Shen and R.W. Topor, Mining the smallest association rule set for predictions, Proc. IEEE Int. Conf. Data Mining, San Jose, CA (2001), 361-368.
• S.D. Chen, H. Shen and R.W. Topor: An efficient algorithm for constructing Hamiltonian paths in meshes. Parallel Computing 28 (9): 1293-1305 (2002)
• J. Li, J. Shen and R.W. Topor: Mining the optimal class association rule set. Knowledge-Based Systems 15(7): 399-405 (2002)
• J. Li, R.W. Topor and H. Shen: Construct robust rule sets for classification. 8th Int. Conf. on Knowledge Discovery and Data Mining 2002: 564-569
• J. Wang, M.J. Maher and R.W. Topor: Rewriting Unions of General Conjunctive Queries Using Views. 8th Int. Conf. on Extending Database Technology 2002: 52-69
• J. Wang, M.J. Maher and R.W. Topor: Rewriting General Conjunctive Queries Using Views. 13th Australasian Database Conf. 2002
• J. Li, H. Shen and R.W. Topor, Mining Informative Rule Set for Prediction, J. Intelligent Information Systems 22, 2 (2004), 155-174.
• J.Wang and R.W. Topor, Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies, Proc. 16th Australasian Database Conf. (ADC 2005), Newcastle (2005), 65-74.
• J. Wang, R.W. Topor and M.J. Maher: Rewriting Union Queries Using Views. Constraints 10(3): 219-251 (2005)
• K. Wang, G. Antoniou, R.W. Topor and A. Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171
• A. Haj Yasien, V. Estivill-Castro and R.W. Topor: Sanitization of Databases for Refined Privacy Trade-Offs. IEEE Int. Conf. on Intelligence and Security Informatics 2006: 522-528