Research Interests

• Data Management: Integrity Constraints and Normalization for Relational Databases and XML, Data Integration (Data Exchange and Schema mapping).

• Automata and Logic.

• Formal Verification.

Publications

• S. Kolahi and L. Libkin. XML Design for Relational Storage, 16th International World Wide Web Conference (WWW'07), Banff, Canada, pp 1083--1092, 2007.

• S. Kolahi. Dependency-Preserving Normalization of Relational and XML Data (extended version), Journal of Computer and System Sciences (Second Special Issue on Database Theory), 73 (4), pp 636--647, 2007.

• S. Kolahi and L. Libkin. On Redundancy vs Dependency Preservation in Normalization: An Information-Theoretic Study of 3NF, 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'06), Chicago, USA, pp 114--123, 2006.
  
  

• S. Kolahi. Dependency-Preserving Normalization of Relational and XML Data, 10th International Symposium on Database Programming Languages (DBPL), Trondheim, Norway, Lecture Notes in Computer Science 3774, pp 247--261, 2005 (invited to JCSS).
   

• S. Kolahi. Similarity Searching on the Web, M.Sc. Thesis, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran, 2002.

Talks

• WWW 2007, Banff, Alberta, Canada.

• PODS 2006, Chicago, IL, USA.

• DBPL 2005, Trondheim, Norway.