Selected Publications



 
2000
Gosta K. Grahne, Laks V.S. Lakshmanan, and Xiaohong Wang. On Computing Constrained Correlations. IEEE Int. Conf. on Data Engineering (ICDE'00), 2000. 
Sihem Amer-Yahia, H.V. Jagadish, Laks V.S. Lakshmanan, and Divesh Srivastava. On Bounding-Schemas for LDAP Directories. Int. Conf. on Extending Database Technology (EDBT'00), Germany, March 2000. 
1999
Gosta K. Grahne and Laks V.S. Lakshmanan, On the Difference Between Navigating Semi-structured Data and Querying It, Int. Workshop on Database Programming Languages (DBPL'99), Kinloch Rannoch, Scotland, September 1999.
Gosta Grahne and Emmanuel Waller, How to make SQL stand for String Query Language., Int. Workshop on Database Programming Languages (DBPL'99), Kinloch Rannoch, Scotland, September 1999.
Tableau Techniques for Querying Information Sources through Global Schemas (Gösta Grahne, A. O. Mendelzon). 7th International Conference on Database Theory (ICDT '99). Delphi, Greece 1999. To appear in a volume of the Springer-Verlag Lecture Notes in Computer Science series
Gösta Grahne, Matti Nykänen, Esko Ukkonen: Reasoning about Strings in Databases. JCSS 59(1): 116-162 (1999)
H.V. Jagadish, Laks V.S. Lakshmanan, and Divesh Srivastava, Snakes and Sandwiches: On Optimal Clustering Strategies for a Data Warehouse, ACM SIGMOD Conference, Philadelphia, PA, June 1999. 
Laks V.S. Lakshmanan, Raymond Ng, Jiawei Han, and Alex Pang, Optimization of Constrained Frequent Set Queries with 2-variable Constraints, ACM SIGMOD Conference, Philadelphia, PA, June 1999.
H.V. Jagadish, Laks V.S. Lakshmanan, Tova Milo, Divesh Srivastava, and Dimitra Vista, Querying Network Directories, ACM SIGMOD Conference, Philadelphia, PA, June 1999.
Laks V.S. Lakshmanan, Fereidoon Sadri, and Subbu N. Subramanian, On Efficiently Implementing SchemaSQL on a SQL Database System, Int. Conference on Very Large Data Bases (VLDB), Edinburgh, UK, September 1999.
H.V. Jagadish, Laks V.S. Lakshmanan, and Divesh Srivastava, What Can Hierarchies do for Data Warehouses, Int. Conference on Very Large Data Bases (VLDB), Edinburgh, UK, September 1999.
Bipin C. Desai, Rajjan Shinghal, Nader Shyan, Youquan Zhou: CINDI: A System for Cataloguing, Searching, and Annotating Electronic Documents in Digital Libraries. ISMIS 1999: 154-162
1998
AQL: An alignment based language for querying string databases. (Gösta Grahne, R. Hakli, M. Nykanen and E. Ukkonen). Proceedings of the 9TH International Conference on Management of Data (Comad '98) Hyderabad, India, December 1998. 
Updates and counterfactuals.Journal of Logic and Computation 8. (1998)Gösta Grahne, Preliminary version
Frederic Gingras and Laks V.S. Lakshmanan, nD-SQL: A Multi-dimensional Language for Interoperability and OLAP, Int. Conference on Very Large Databases (VLDB'98), New York, NY, August 1998.
Raymond T. Ng, Laks V.S. Lakshmanan, Jiawei Han, and Alex Pang, Exploratory Mining and Pruning Optimization of Constrained Association Queries, ACM SIGMOD Conference, Seattle, WA, June 1998.
Laks V.S. Lakshmanan, Iyer N. Subramanian, Nita Goyal, and Ravi Krishnamurthy, On Querying Spreadsheets, Proc. IEEE International Conference on Data Engineering (ICDE'98), Orlando, FA, February 1998.
Barry Eaglestone, Bipin C. Desai, Robert Holton, E. Gulatee: Temporal Database Support for Cooperative Creative Work. IDEAS 1998: 266-275
1997
Safety, translation and evaluation of alignment calculus (Gösta Grahne, M. Nykanen). Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg, September 1997. Also available in the Springer-Verlag series Electronic Workshops in Computing (eWiC)
Semantics and containment of queries with internal and external conjunctions (Gösta Grahne, N. Spyratos and D. Stamate). 6th International Conference on Database Theory (ICDT '97). Delphi, Greece 1997, pp. 71--82, 1997. 
Knowledgebase transformations (Gösta Grahne, A. O. Mendelzon and P. Z. Revesz). Journal of Computer and System Sciences 54, (1997), 98-112. Preliminary version
Marc Gyssens and Laks V.S. Lakshmanan, A Foundation for Multi-dimensional Databases, Int. Conf. on VLDB, Athens, Greece, August 25-29, 1997.
Laks V.S. Lakshmanan, Fereidoon Sadri, and Iyer N. Subramanian. Logic and Algebraic Languages for Interoperability in Multi-database Systems. Journal of Logic Programming, 33(2), pp. 101--149, November 1997.
Bipin C. Desai, Khaled Jababo: An OODBMS Graphical Development Environment. IDEAS 1997: 33-44
Bipin C. Desai: Supporting Discovery in Virtual Libraries. JASIS 48(3): 190-204 (1997)
1996
Laks V.S. Lakshmanan, F. Sadri, and Iyer N. Subramanian. Logic and Algebraic Languages for Interoperability in Multidatabase Systems. Accepted to the Journal of Logic Programming, February 1996.
Marc Gyssens, Laks V.S. Lakshmanan, and Iyer N. Subramanian. Tables as a Paradigm for Querying and Restructuring. Proceedings of the ACM Symposium on Principles of Database Systems (PODS'96), June 1996, Montreal, Canada (to appear).
Laks V.S. Lakshmanan, Fereidoon Sadri, and Iyer N. Subramanian. A Declarative Language for Querying and Restructuring the World-Wide-Web. Post-ICDE IEEE Workshop on Research Issues in Data Engineering (RIDE-NDS'96). New Orleans, February 1996 (to appear).
Alanoly Andrews, Laks V.S. Lakshmanan, Shiri Nematollaah, and Iyer N. Subramanian. On Implementing SchemaLog: An Advanced Database Programming Language. Int. Conf. on Information and Knowledge Management, Baltimore, MD, November 1996.
Laks V.S. Lakshmanan and Shiri Nematollaah. A Parametric Approach to Deductive Databases with Uncertainty. Int. Workshop on Logic in Databases (LID'96), July 1-2, 1996, San Miniato, Italy.
Laks V.S. Lakshmanan, Fereidoon Sadri, and Iyer N. Subramanian. SchemaSQL: A Language for Interoperability in Multiple Relational Databases. Int. Conf. VLDB, Bombay, India, September 1996.
Marc Gyssens, Laks V.S. Lakshmanan, and Iyer N. Subramanian. Tables as a Paradigm for Querying and Restructuring. ACM Symp. Principles of Database Systems (PODS'96), Montreal, Quebec, June 3-6, 1996.
Laks V.S. Lakshmanan, Fereidoon Sadri, and Iyer N. Subramanian. A Declarative Approach to Querying and Retsructuring the World-Wide-Web. Post-ICDE Workshop on Research Issues in Data Engineering (RIDE'96). New Orleans, February 1996.
Boutros C. Boutros, Bipin C. Desai: A Two-Phase Commit Protocol and its Performance. DEXA Workshop 1996: 100-105
Bipin C. Desai, Rajjan Shinghal: Resource Discovery: Modelling, Cataloguing and Searching. DEXA Workshop 1996: 70-75
1995
Updates and subjunctive queries (Gösta Grahne, A. O. Mendelzon). Information and Computation 116 (1995), 241-252. Preliminary version
Laks V.S. Lakshmanan, Iyer N. Subramanian, Despina Papoulis, and Nematollaah Shiri. A Declarative System for Multidatabase Interoperability ; V. S. Alagar and M. Nivat Editors; In the Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST); Montreal, Canada; July 3-7, 1995; Springer-Verlag, LNCS 936.
Laks V.S. Lakshmanan and Rokia Missaoui, Pushing Constraints inside Recursion: A General Framework for Semantic Optimization of Recursive Queries. Proc. Int. Conf. on Data Engineering (ICDE'95), February 1995, Taipei, Taiwan.
Hasan M. Jamil and Laks V.S. Lakshmanan, A Declarative Semantics of Behavioral Inheritance and Conflict Resolution, Proc. Int. Logic Programming Symp., (ILPS'95), Portland, OR, Dec. 1995, MIT Press.
Laks V.S. Lakshmanan and Rokia Missaoui, Pushing Constraints inside Recursion: A General Framework for Semantic Optimization of Reursive Queries. Proc. Int. Conf. on Data Engineering (ICDE'95), February 1995, Taipei, Taiwan.
Bipin C. Desai, Stan Swiercz: WebJournal: Visualization of a Web Journey. ADL 1995: 63-80
Bipin C. Desai: Internet and Searching Internet Resources. DEXA Workshop 1995: 339-349
1994
Reasoning about strings in databases (Gösta Grahne, M. Nykanen and E. Ukkonen).1994 Journal of Computer and System Sciences, to appear. Preliminary version
Jiawei Han and Laks V.S. Lakshmanan, Evaluation of Regular Non-linear Recursions by Deductive Database Techniques,Information Systems, Vol. 19, No. 4, pp. 33-54, 1994.
Laks V.S. Lakshmanan, An Epistemic Foundation for Logic Programming with Uncertainty, Proc. Int. Conf. on Foundations of Software Technology and Theoretical Computer Science}, (FST&TCS'94), December 1994, Madras, India.
Laks V.S. Lakshmanan and Fereidoon Sadri, Probabilistic Deductive Databases, Proc. Int. Logic Programming Symp., (ILPS'94), November 1994, Ithaca, NY.
Laks V.S. Lakshmanan and Fereidoon Sadri, Modeling Uncertainty in Deductive Databases, Proc. Int. Conf. on Database Expert Systems and Applications}, (DEXA'94), September 7-9, 1994, Athens, Greece, Lecture Notes in Computer Science, # 856, Springer (1994), pp. 724-733.
Jiawei Han and Laks V.S. Lakshmanan, Evaluation of Regular Non-linear Recursions by Deductive Database Techniques, Information Systems, Vol. 19, No. 4, pp. 33-54, 1994.
Laks V.S. Lakshmanan, An Epistemic Foundation for Logic Programming with Uncertainty, Proc. Int. Conf. on Foundations of Software Technology and Theoretical Computer Science}, (FST&TCS'94), December 1994, Madras, India.
Laks V.S. Lakshmanan and Fereidoon Sadri, Probabilistic Deductive Databases, Proc. Int. Logic Programming Symp., (ILPS'94), November 1994, Ithaca, NY, MIT Press.
Laks V.S. Lakshmanan and Fereidoon Sadri, Modeling Uncertainty in Deductive Databases, Proc. Int. Conf. on Database Expert Systems and Applications}, (DEXA'94), September 7-9, 1994, Athens, Greece, Lecture Notes in Computer Science, # 856, Springer (1994), pp. 724-733.
1993
Laks V.S. Lakshmanan, Fereidoon Sadri, and Iyer N. Subramanian. On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Databases. Proc. Int. Conference on Deductive and Object-Oriented Databases (DOOD'93), Phoenix, AZ, December 1993, Springer-Verlag, LNCS-760.
Laks V.S. Lakshmanan, Karima Ashraf, and Jiawei Han, Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization, Proc. IEEE Symp. Logic in Computer Science, (LICS'93), Montreal, Quebec, June 1993.
Fangqing Dong and Laks V.S. Lakshmanan, Canonical Kripke Models and the Intuitionistic Semantics of Logic Programs Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, Lisbon, Portugal, June 1993, MIT Press.
Laks V.S. Lakshmanan, Fereidoon Sadri, and Iyer N. Subramanian. On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Databases. Proc. Int. Conference on Deductive and Object-Oriented Databases (DOOD'93), Phoenix, AZ, December 1993, Springer-Verlag, LNCS-760.
Laks V.S. Lakshmanan, Karima Ashraf, and Jiawei Han, Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization, Proc. IEEE Symp. Logic in Computer Science, (LICS'93), Montreal, Quebec, June 1993.
Fangqing Dong and Laks V.S. Lakshmanan, Canonical Kripke Models and the Intuitionistic Semantics of Logic Programs Proc. 2nd International Workshop on Logic Programming and Non-monoonic Reasoning, Lisbon, Portugal, June 1993, MIT Press.
Jiawei Han, Laks V. S. Lakshmanan: Evaluation of Regular Nonlinear Recursive Programs. ILPS 1993: 648
Fangqing Dong, Laks V. S. Lakshmanan: A Deductive Approach to Hypothetical Query Answering.
1992
On the semantics of belief revision systems (Gösta Grahne, A. O. Mendelzon and R. Reiter). Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge. Asilomar, Ca. 1992, pp. 132-142. Extended version
Fangqing Dong and Laks V.S. Lakshmanan, Deductive Databases with Incomplete Information Proc. Joint Int. Conf. and Symp. on Logic Programming, Washington, D.C., November, 1992, MIT Press.
Laks V.S. Lakshmanan and Rokia Missaoui, On Semantic Query Optimization in Deductive Databases, Proc. IEEE Int. Conf. Data Eng., (ICDE'92), Phoenix, AZ, 368-375, February 1992.
Laks V. S. Lakshmanan, Daniel A. Nonen: Superfiniteness of Query Answers in Deductive Databases: An Automata-Theoretic Approach. FSTTCS 1992: 176-190
1991
  • The Problem of Incomplete Information in Relational Databases. Gösta Grahne, Lecture Notes in Computer Science, vol. 554. Springer-Verlag, Berlin 1991. Abstract
  • Gösta Grahne: Updates and Counterfactuals. KR 1991: 269-276
    Gösta Grahne, Seppo Sippu, Eljas Soisalon-Soininen: Efficient Evaluation for a Subset of Recursive Queries. JLP 10(1/2/3&4): 301-332 (1991)
    Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne: On the Representation and Querying of Sets of Possible Worlds. TCS 78(1): 158-187 (1991)
    Laks V.S. Lakshmanan and Hector Hernandez, Structural Query Optimization: A Uniform Framework for Semantic Query Optimization in Deductive Databases, Proc. ACM Symp. Principles of Database Systems, Denver, CO, 102-114, May 1991.
    Laks V.S. Lakshmanan and Hector Hernandez, Structural Query Optimization: A Uniform Framework for Semantic Query Optimization in Deductive Databases, Proc. ACM Symp. Principles of Database Systems (PODS'91), Denver, CO, 102-114, May 1991.
    Bipin C. Desai, Li Zhang: Multilevel Interface to a Distributed Database System. ISMIS 1991: 122-131