Publications

OTClean: Data Cleaning for Conditional Independence Violations using Optimal Transport
Alireza Pirhadi, Mohammad Hossein Moslemi, Alexander Cloninger, Mostafa Milani, and Babak Salimi
2024 ; SIGMOD
Link to paper

How do Categorical Duplicates Affect ML? A New Benchmark and Empirical Analyses
Vraj Shah, Thomas Parashos, and Arun Kumar
2024 ; VLDB
Link to paper

Saturn: An Optimized Data System for Multi-Large-Model Deep Learning Workloads
Kabir Nagrecha and Arun Kumar
2024 ; VLDB
Link to paper

Consistent Range Approximation for Fair Predictive Modeling
Jiongli Zhu, Sainyam Galhotra, Nazanin Sabri, and Babak Salimi
2023 ; VLDB
Link to paper

Causal Data Integration.
Brit Youngmann, Michael Cafarella, Babak Salimi, and Anna Zeng
2023 ; VLDB
Link to paper

Lotan: Bridging the Gap between GNNs and Scalable Graph Analytics Engines
Yuhao Zhang and Arun Kumar
2023 ; VLDB
Link to paper

NEXUS: On Explaining Confounding Bias
Brit Youngmann, Michael Cafarella, Yuval Moskovitch, and Babak Salimi
2023 ; SIGMOD
Link to paper

On Explaining Confounding Bias
Brit Youngmann, Michael Cafarella, Babak Salimi, and Yuval Moskovitch
2023 ; ICDE
Link to paper

Causal What-If and How-To Analysis Using Hyper
Fangzhu Shen, Kayvon Heravi, Oscar Gomez, Sainyam Galhotra, Amir Gilad, Sudeepa Roy, and Babak Salimi
2023 ; ICDE
Link to paper

Database-Aware ASR Error Correction for Speech-to-SQL Parsing
Yutong Shao, Arun Kumar, and Ndapandula Nakashole
2023 ; IEEE ICASSP
Link to paper

Structured Data Representation in Natural Language Interfaces
Yutong Shao, Arun Kumar, and Ndapandula Nakashole
2022 ; IEEE Data Engineering Bulletin
Link to paper

VLDB Scalable Data Science Category: The Inaugural Year
Arun Kumar, Alon Halevy, and Nesime Tatbul
2022 ; ACM SIGMOD Record
Link to paper

HypeR: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach
Sainyam Galhotra, Amir Gilad, Sudeepa Roy, and Babak Salimi
2022 ; ACM SIGMOD
Link to paper

Generating Interpretable Data-Based Explanations for Fairness Debugging using Gopher
Jiongli Zhu, Romila Pradhan, Boris Glavic, and Babak Salimi
2022 ; ACM SIGMOD
Link to paper

Explainable AI: Foundations, Applications, Opportunities for Data Management Research
Romila Pradhan, Aditya Lahiri, Sainyam Galhotra, and Babak Salimi
2022 ; ACM SIGMOD Tutorial
Link to paper

Explainable AI: Foundations, Applications, Opportunities for Data Management Research
Romila Pradhan, Aditya Lahiri, Sainyam Galhotra, and Babak Salimi
2022 ; IEEE International Conference on Data Engineering (ICDE) Tutorial
Link to paper

Interpretable Data-based Explanations for Fairness Debugging
Romila Pradhan, Jiongli Zhu, Boris Glavic, and Babak Salimi
2022 ; ACM SIGMOD
Link to paper

Through the Data Management Lens: Experimental Analysis and Evaluation of Fair Classification
Maliha Tashfia Islam, Anna Fariha, Alexandra Meliou, and Babak Salimi
2022 ; ACM SIGMOD
Link to paper

Nautilus: An Optimized System for Deep Transfer Learning over Evolving Training Datasets
Supun Nakandala and Arun Kumar
2022 ; ACM SIGMOD
Link to paper

Some Damaging Delusions of Deep Learning Practice (and How to Avoid Them)
Arun Kumar, Supun Nakandala, and Yuhao Zhang
2021 ; KDD Deep Learning Day
Link to paper

Distributed Deep Learning on Data Systems: A Comparative Analysis of Approaches
Yuhao Zhang, Frank McQuillan, Nandish Jayaram, Nikhil Kak, Ekta Khanna, Orhan Kislal, Domino Valdano, and Arun Kumar
2021 ; VLDB
Link to paper

Towards an Optimized GROUP BY Abstraction for Large-Scale Machine Learning
Side Li and Arun Kumar
2021 ; VLDB
Link to paper

Intermittent Human-in-the-Loop Model Selection using Cerebro: A Demonstration
Liangde Li, Supun Nakandala, and Arun Kumar
2021 ; VLDB Demonstration
Link to paper

Towards A Polyglot Framework for Factorized ML
David Justo, Shaoqing Yi, Lukas Stadler, Nadia Polikarpova, and Arun Kumar
2021 ; VLDB Industrial Track
Link to paper

Letter from the Rising Star Award Winner
Arun Kumar
2021 ; IEEE Data Engineering Bulletin
Link to paper

Datalog Unchained
Victor Vianu
2021 ; ACM PODS
Link to paper

Explaining Black-box Algorithms Using Probabilistic Contrastive Counterfactuals
Sainyam Galhotra, Romila Pradhan, and Babak Salimi
2021 ; ACM SIGMOD
Link to paper

Demonstration of Generating Explanations for Black-Box Algorithms Using Lewis
Paul Y. Wang, Sainyam Galhotra, Romila Pradhan, and Babak Salimi
2021 ; ACM SIGMOD
Link to paper

Vertex-centric Parallel Computation of SQL Queries
Ainur Smagulova and Alin Deutsch
2021 ; ACM SIGMOD
Link to paper

HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries
Rana Alotaibi, Bogdan Cautis, Alin Deutsch, and Ioana Manolescu
2021 ; ACM SIGMOD
Link to paper

Towards Benchmarking Feature Type Inference for AutoML Platforms
Vraj Shah, Jonathan Lacanlale, Premanand Kumar, Kevin Yang, and Arun Kumar
2021 ; ACM SIGMOD
Link to paper

Automation of Data Prep, ML, and Data Science: New Cure or Snake Oil?
Arun Kumar
2021 ; ACM SIGMOD Panel
Link to paper

HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries (Extended Version)
Rana Alotaibi, Bogdan Cautis, Alin Deutsch, and Ioana Manolescu
2021 ; Technical Report
Link to paper

Through the Data Management Lens: Experimental Analysis and Evaluation of Fair Classification
Maliha Tashfia Islam, Anna Fariha, Alexandra Meliou, and Babak Salimi
2021 ; ICML Workshop on Algorithmic Recourse
Link to paper

Cerebro: A Layered Data Platform for Scalable Deep Learning
Arun Kumar, Supun Nakandala, Yuhao Zhang, Side Li, Advitya Gemawat, and Kabir Nagrecha
2021 ; CIDR
Link to paper

ESTOCADA: Towards Scalable Polystore Systems
Rana Alotaibi, Bogdan Cautis, Alin Deutsch, Moustafa Latrache†, Ioana Manolescu and Yifei Yang
2020 ; VLDB
Link to paper

Cerebro: A Data System for Optimized Deep Learning Model Selection
Supun Nakandala, Yuhao Zhang, and Arun Kumar
2020 ; VLDB
Link to paper

Panorama: A Data System for Unbounded Vocabulary Querying over Video
Yuhao Zhang and Arun Kumar
2020 ; VLDB
Link to paper

Understanding and Benchmarking the Impact of GDPR on Database Systems
Supreeth Shastri, Vinay Banakar, Melissa Wasserman, Arun Kumar, and Vijay Chidambaram
2020 ; VLDB
Link to paper

Query Optimization for Faster Deep CNN Explanations
Supun Nakandala, Arun Kumar, and Yannis Papakonstantinou
2020 ; ACM SIGMOD Record
Link to paper

Incremental and Approximate Computations for Accelerating Deep CNN Inference
Supun Nakandala, Kabir Nagrecha, Arun Kumar, and Yannis Papakonstantinou
2020 ; ACM TODS
Link to paper

Vista: Optimized System for Declarative Feature Transfer from Deep CNNs at Scale
Supun Nakandala and Arun Kumar
2020 ; ACM SIGMOD
Link to paper

SpeakQL: Towards Speech-driven Multimodal Querying of Structured Data
Vraj Shah, Side Li, Arun Kumar, and Lawrence Saul
2020 ; ACM SIGMOD
Link to paper

Aggregation Support for Modern Graph Analytics in TigerGraph
Alin Deutsch, Yu Xu, Mingxi Wu, and Victor E. Lee
2020 ; ACM SIGMOD
Link to paper

Projection Views of Register Automata
Luc Segoufin, Victor Vianu
2020 ; PODS
Link to paper

Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue
Rana Alotaibi, Damian Bursztyn, Alin Deutsch, Ioana Manolescu, and Stamatis Zampetakis
2019 ; ACM SIGMOD
Link to paper

Model-based Pricing for Machine Learning in a Data Marketplace
Lingjiao Chen, Paraschos Koutris, and Arun Kumar
2019 ; ACM SIGMOD
Link to paper

Tuple-oriented Compression for Large-scale Mini-batch Stochastic Gradient Descent
Fengan Li, Lingjiao Chen, Yijing Zeng, Arun Kumar, Jeffrey Naughton, Jignesh Patel, and Xi Wu
2019 ; ACM SIGMOD
Link to paper

Enabling and Optimizing Non-linear Feature Interactions in Factorized Linear Algebra
Side Li, Lingjiao Chen, and Arun Kumar
2019 ; ACM SIGMOD
Link to paper

Incremental and Approximate Inference for Faster Occlusion-based Deep CNN Explanations
Supun Nakandala, Arun Kumar, and Yannis Papakonstantinou
2019 ; ACM SIGMOD
Link to paper

Ariadne: Online Provenance for Big Graph Analytics
Vicky Papavasileiou, Ken Yocum, and Alin Deutsch
2019 ; ACM SIGMOD
Link to paper

Cerebro: Efficient and Reproducible Model Selection on Deep Learning Systems
Supun Nakandala, Yuhao Zhang, and Arun Kumar
2019 ; ACM SIGMOD DEEM Workshop
Link to paper

The ML Data Prep Zoo: Towards Semi-Automatic Data Preparation for ML
Vraj Shah and Arun Kumar
2019 ; ACM SIGMOD DEEM Workshop
Link to paper

Demonstration of Nimbus: Model-based Pricing for Machine Learning in a Data Marketplace
Lingjiao Chen, Hongyi Wang, Leshang Chen, Paraschos Koutris, and Arun Kumar
2019 ; ACM SIGMOD Demonstration
Link to paper

Demonstration of SpeakQL: Speech-driven Multimodal Querying of Structured Data
Vraj Shah, Side Li, Kevin Yang, Arun Kumar, and Lawrence Saul
2019 ; ACM SIGMOD Demonstration
Link to paper

A Comparative Evaluation of Systems for Scalable Linear Algebra-based Analytics
Anthony Thomas and Arun Kumar
2019 ; VLDB
Link to paper

Demonstration of Krypton: Optimized CNN Inference for Occlusion-based Deep CNN Explanations
Allen Ordookhanians, Xin Li, Supun Nakandala, and Arun Kumar
2019 ; VLDB Demonstration
Link to paper

Index-based, High-dimensional, Cosine Threshold Querying with Optimality Guarantees
Yuliang Li and Jianguo Wang and Benjamin Pullman and Nuno Bandeira and Yannis Papakonstantinou
2019 ; ICDT
Link to paper

Verification of Hierarchical Artifact Systems
Alin Deutsch, Yuliang Li, and Victor Vianu
2019 ; ACM TODS
Link to paper

Demonstration of Krypton: Incremental and Approximate Inference for Faster Occlusion-based Deep CNN Explanations
Supun Nakandala, Arun Kumar, and Yannis Papakonstantinou
2019 ; SysML Demonstration
Link to paper

Data Management in Machine Learning Systems
Matthias Boehm, Arun Kumar, and Jun Yang
2019 ; Synthesis Lectures on Data Management, Morgan & Claypool Publishers (Book)
Link to paper

Hierarchical and Distributed Machine Learning Inference Beyond the Edge
Anthony Thomas, Yunhui Guo, Yeseong Kim, Baris Aksanli, Arun Kumar and Tajana Rosing
2019 ; IEEE ICNSC
Link to paper

Predicting Eating Events in Free Living Individuals
Jiayi Wang, Jiue-An Yang, Supun Nakandala, Arun Kumar and Marta M. Jankowska
2019 ; eScience Conference

In-RDBMS Hardware Acceleration of Advanced Analytics
Divya Mahajan, Joon Kyung Kim, Jacob Sacks, Adel Ardalan, Arun Kumar, and Hadi Esmaeilzadeh
2018 ; VLDB
Link to paper

Are Key-Foreign Key Joins Safe to Avoid when Learning High-Capacity Classifiers?
Vraj Shah, Arun Kumar, and Xiaojin Zhu
2018 ; VLDB
Link to paper

Materialization Trade-offs for Feature Transfer from Deep CNNs for Multimodal Data Analytics
Supun Nakandala and Arun Kumar
2018 ; SysML (Short paper)
Link to paper

Plato: Approximate Analytics over Compressed Time Series with Tight Deterministic Error Guarantees
Etienne Boursier and Jaqueline J. Brito and Chunbin Lin and Yannis Papakonstantinou
2018 ; N/A (Manuscript)
Link to paper

Towards Linear Algebra over Normalized Data
Lingjiao Chen, Arun Kumar, Jeffrey Naughton, and Jignesh Patel
2017 ; VLDB
Link to paper

MILC: Inverted List Compression in Memory
Jianguo Wang and Chunbin Lin and Ruining He and Moojin Chae and Yannis Papakonstantinou and Steven Swanson
2017 ; N/A (Manuscript)
Link to paper

GQFast: Fast Graph Exploration with Context-Aware Autocompletion
Chunbin Lin and Jianguo Wang and Yiannis Papakonstantinou
2017 ; 2017 IEEE 33rd International Conference on Data Engineering (ICDE)

An Experimental Study of Bitmap Compression vs. Inverted List Compression
Jianguo Wang and Chunbin Lin and Yannis Papakonstantinou and Steven Swanson
2017 ; Proceedings of ACM Conference on Management of Data (SIGMOD)
Link to paper

KAML: A Flexible, High-Performance Key-Value SSD
Yanqin Jin and Hung-Wei Tseng and Yannis Papakonstantinou and Steven Swanson
2017 ; 2017 IEEE 23rd International Symposium on High Performance Computer Architecture (HPCA 2017)

SSD In-Storage Computing for Search Engines
Jianguo Wang and Dongchul Park and Yannis Papakonstantinou and Steven Swanson
2017 ; IEEE Transactions on Computers (TC)

Application View Maintenance: Optimizing Change Propagation in Mobile Applications
Konstantinos Zarifis and Yannis Katsis and Yannis Papakonstantinou
2017 ; N/A (Manuscript)
Link to paper

Model-based Pricing: Do Not Pay for More than What You Learn!
Lingjiao Chen, Paraschos Koutris, and Arun Kumar
2017 ; ACM SIGMOD DEEM Workshop
Link to paper

SpeakQL: Towards Speech-driven Multi-modal Querying
Dharmil Chandarana, Vraj Shah, Arun Kumar, and Lawrence Saul
2017 ; ACM SIGMOD HILDA Workshop
Link to paper

Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics
Xi Wu, Fengan Li, Arun Kumar, Kamalika Chaudhuri, Somesh Jha, and Jeffrey Naughton
2017 ; ACM SIGMOD
Link to paper

Cerebro: A System to Manage Deep Learning for Relational Data Analytics
Arun Kumar
2017 ; CIDR Abstract
Link to paper

Improving SSD Lifetime with Byte-Addressable Metadata
Yanqin Jin and Hung-Wei Tseng and Yannis Papakonstantinou and Steven Swanson
2017 ; MEMSYS
Link to paper

Waldo: An Adaptive Human Interface for Crowd Entity Resolution
Vasilis Verroios and Hector Garcia-Molina and Yannis Papakonstantinou
2017 ; Proceedings of the 2017 ACM International Conference on Management of Data

Assisting Discovery in Public Health
Yannis Katsis and Nikos Koulouris and Yannis Papakonstantinou and Kevin Patrick
2017 ; Proceedings of the 2Nd Workshop on Human-In-the-Loop Data Analytics

Efficient Approximate Query Answering over Sensor Data with Deterministic Error Guarantees
Jaqueline Brito and Korhan Demirkaya and Boursier Etienne and Yannis Katsis and Chunbin Lin and Yannis Papakonstantinou
2017 ; CoRR

Fast In-Memory SQL Analytics on Typed Graphs
Chunbin Lin and Benjamin Mandel and Yannis Papakonstantinou and Matthias Springer
2016 ; PVLDB
Link to paper

Learning Over Joins
Arun Kumar
2016 ; PhD Thesis
Link to paper

HippogriffDB: Balancing I/O and GPU Bandwidth in Big Data Analytics
Jing Li and Hung-Wei Tseng and Chunbin Lin and Yannis Papakonstantinou and Steven Swanson
2016 ; PVLDB
Link to paper

SSD in-storage computing for list intersection
Jianguo Wang and Dongchul Park and Yang-Suk Kee and Yannis Papakonstantinou and Steven Swanson
2016 ; Proceedings of the 12th International Workshop on Data Management on New Hardware, DaMoN 2016, San Francisco, CA, USA, June 27, 2016
Link to paper

In-depth Survey of MVVM Web Application Frameworks
Konstantinos Zarifis
2016 ; N/A (Manuscript)
Link to paper

To Join or Not to Join?: Thinking Twice About Joins Before Feature Selection
Arun Kumar, Jeffrey Naughton, Jignesh M. Patel, and Xiaojin Zhu
2016 ; ACM SIGMOD
Link to paper

Model Selection Management Systems: The Next Frontier of Advanced Analytics
Arun Kumar, Robert McCann, Jeffrey Naughton, and Jignesh M. Patel
2016 ; ACM SIGMOD Record
Link to paper

Verification of Hierarchical Artifact Systems
Alin Deutsch and Yuliang Li and Victor Vianu
2016 ; PODS 2016, San Francisco, CA, USA, June 26 - July 01
Link to paper

Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes
Richard Hull and Vishal S. Batra and Yi-Min Chen and Alin Deutsch and Fenno F. Terry Heath III and Victor Vianu
2016 ; Service-Oriented Computing - 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13
Link to paper

A Formal Study of Collaborative Access Control in Distributed Datalog
Serge Abiteboul and Pierre Bourhis and Victor Vianu
2016 ; 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18
Link to paper

Polystore Query Rewriting: The Challenges of Variety.
Yannis Papakonstantinou
2016 ; EDBT/ICDT Workshops
Link to paper

Combining Databases and Signal Processing in Plato
Yannis Katsis and Yoav Freund and Yannis Papakonstantinou
2015 ; CIDR
Link to paper

Created Computed Universe
Yannis Papakonstantinou
2015 ; Communications of the ACM 58 (6): 36-38
Link to paper

Utilizing IDs to Accelerate Incremental View Maintenance
Yannis Katsis and Kian Win Ong and Yannis Papakonstantinou and Kevin Keliang Zhao
2015 ; ACM SIGMOD
Link to paper

Process-Centric Views of Data-Driven Business Artifacts
Adrien Koutsos and Victor Vianu
2015 ; ICDT
Link to paper

A Reduction of N1QL into SQL++ Core
Kian Win Ong and Yannis Papakonstantinou and Gerald Sangudi
2015 ; N/A (Manuscript)
Link to paper

Demonstration of Santoku: Optimizing Machine Learning over Normalized Data
Arun Kumar, Mona Jalal, Boqun Yan, Jeffrey Naughton, and Jignesh M. Patel
2015 ; VLDB Demonstration
Link to paper

Learning Generalized Linear Models Over Normalized Data
Arun Kumar, Jeffrey Naughton, and Jignesh M. Patel
2015 ; ACM SIGMOD
Link to paper

Highly Expressive Query Languages for Unordered Data Trees
Serge Abiteboul and Pierre Bourhis and Victor Vianu
2015 ; Theory Comput. Syst.
Link to paper

The SQL++ Unifying Semi-structured Query Language, and an Expressiveness Benchmark of SQL-on-Hadoop, NoSQL and NewSQL Databases
Kian Win Ong and Yannis Papakonstantinou and Romain Vernoux
2014 ; N/A (Manuscript)
Link to paper

Automatic Verification of Database-Centric Systems
Alin Deutsch and Richard Hull and Victor Vianu
2014 ; SIGMOD Record.
Link to paper

FORWARD: Data-Centric UIs using Declarative Templates that Efficiently Wrap Third-Party JavaScript Components
Yupeng Fu and Kian Win Ong and Yannis Papakonstantinou and Erick Zamora
2014 ; VLDB Demo
Link to paper

Big Data and Its Technical Challenges
HV. Jagadish and Johannes Gehrke and Alexandros Labrinidis and Yannis Papakonstantinou and Jignesh M. Patel and Raghu Ramakrishnan and Cyrus Shahabi
2014 ; Communications of the ACM 57(7): 86-94
Link to paper

Deduction with Contradictions in Datalog
Serge Abiteboul and Daniel Deutch and Victor Vianu
2014 ; ICDT
Link to paper

Materialization Optimizations for Feature Selection Workloads
Ce Zhang, Arun Kumar, and Christopher Re
2014 ; ACM SIGMOD
Link to paper

Holistic Data Access Optimization for Analytics Reports
Yupeng Fu and Kian Win Ong and Yannis Papakonstantinou and Romain Vernoux
2013 ; N/A (Manuscript)
Link to paper

Declarative Ajax Web Applications through SQL++ on a Unified Application State
Yupeng Fu and Kian Win Ong and Yannis Papakonstantinou
2013 ; DBPL
Link to paper

Feature Selection in Enterprise Analytics: A Demonstration Using an R-based Data Analytics System
Pradap Konda, Arun Kumar, Christopher Re, and Vaishnavi Sashikanth
2013 ; VLDB Demonstration
Link to paper

DELPHI: Data E-platform for personalized population health
Yannis Katsis and Chaitanya Baru and Ted Chan and Sanjoy Dasgupta and Claudiu Farcas and William G. Griswold and Jeannie Huang and Lucila Ohno-Machado and Yannis Papakonstantinou and Fredric Raab and Kevin Patrick
2013 ; Healthcom

Collaborative Data-Driven Workflows: Think Global, Act Local
Serge Abiteboul and Victor Vianu
2013 ; N/A (Manuscript)
Link to paper

Distributed and Scalable PCA in the Cloud
Arun Kumar, Nikos Karampatziakis, Paul Mineiro, Markus Weimer, and Vijay Narayanan
2013 ; NIPS BigLearn Workshop
Link to paper

Hazy: Making It Easier to Build and Maintain Big-data Analytics
Arun Kumar, Feng Niu, and Christopher Re
2013 ; ACM Queue
Link to paper

Brainwash: A Data System for Feature Engineering
Michael Anderson, Dolan Antenucci, Victor Bittorf, Matthew Burgess, Michael Cafarella, Arun Kumar, Feng Niu, Yongjoo Park, Christopher Re, and Ce Zhang
2013 ; CIDR
Link to paper

On Reducing Delay in Mobile Data Collection Based Wireless Sensor Networks
Arun Kumar and Krishna M. Sivalingam and Adithya Kumar
2013 ; Wirel. Netw.

The MADlib Analytics Library: Or MAD Skills, the SQL
Joseph M. Hellerstein, Christopher Re, Florian Schoppmann, Daisy Zhe Wang, Eugene Fratkin, Aleksander Gorajek, Kee Siong Ng, Caleb Welton, Xixuan Feng, Kun Li and Arun Kumar
2012 ; VLDB
Link to paper

Artifact Systems with Data Dependencies and Arithmetic
Elio Damaggio and Alin Deutsch and Victor Vianu
2012 ; TODS
Link to paper

Comparing Workflow Specification Languages: A Matter of Views
Serge Abiteboul and Pierre Bourhis and Victor Vianu
2012 ; TODS
Link to paper

Mapping XML to a Wide Sparse Table
Liang Jeff Chen and Philip Bernstein
2012 ; ICDE
Link to paper

Highly Expressive Query Languages for Unordered Data Trees
Serge Abiteboul and Pierre Bourhis and Victor Vianu
2012 ; N/A (Manuscript)
Link to paper

Trajectory and Policy Aware Sender Anonymity in Location Based Services
Alin Deutsch and Richard Hull and Avinash Vyas and Kevin Keliang Zhao
2012 ; N/A (Manuscript)
Link to paper

Towards a Unified Architecture for in-RDBMS Analytics
Xixuan Feng, Arun Kumar, Benjamin Recht, and Christopher Re
2012 ; ACM SIGMOD
Link to paper

Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System
Carlo Curino and Hyun Moon and Alin Deutsch and Carlo Zaniolo
2011 ; VLDB
Link to paper

Automatic Verification of Data-Centric Business Processes
Elio Damaggio and Alin Deutsch and Richard Hull and Victor Vianu
2011 ; BPM
Link to paper

Querying contract databases based on temporal behavior
Elio Damaggio and Alin Deutsch and Dayou Zhou
2011 ; SIGMOD
Link to paper

Context-sensitive Ranking for Document Retrieval
Liang Jeff Chen and Yannis Papakonstantinou
2011 ; SIGMOD
Link to paper

Score-consistent algebraic optimization of full-text search queries with GRAFT
Nathan Bales and Alin Deutsch and Vasilis Vassalos
2011 ; SIGMOD
Link to paper

Artifact systems with data dependencies and arithmetic
Elio Damaggio and Alin Deutsch and Victor Vianu
2011 ; ICDT
Link to paper

ASTERIX: towards a scalable, semistructured data platform for evolving-world models
Alexander Behm and Vinayak Borkar and Michael Carey and Raman Grover and Chen Li and Nicola Onose and Rares Vernica and Alin Deutsch and Yannis Papakonstantinou and Vassilis Tsotras
2011 ; Distributed and Parallel Databases
Link to paper

Querying XML data sources that export very large sets of views
Bogdan Cautis and Alin Deutsch and Nicola Onose and Vasilis Vassalos
2011 ; TODS
Link to paper

Deuteronomy: Transaction Support for Cloud Data
Justin Levandoski and David Lomet and Mohamed Mokbel and Kevin Keliang Zhao
2011 ; CIDR
Link to paper

Comparing workflow specification languages: a matter of views
Serge Abiteboul and Pierre Bourhis and Victor Vianu
2011 ; ICDT 2011
Link to paper

The SQL-based All-Declarative FORWARD Web Application Development Framework
Yupeng Fu and Kian Win Ong and Yannis Papakonstantinou and Michalis Petropoulos
2011 ; CIDR
Link to paper

Querying Data Sources Exporting Infinite Sets of Views
Bogdan Cautis and Alin Deutsch and Nicola Onose
2011 ; TOCS
Link to paper

Probabilistic Management of OCR Data Using an RDBMS
Arun Kumar and Christopher Re
2011 ; VLDB
Link to paper

Using Proximity Search to Estimate Authority Flow
Vagelis Hristidis and Yannis Papakonstantinou and Ramakrishna Vandarajan
2010 ; IEEE Transactions on Knowledge and Data Engineering
Link to paper

Querying contract databases based on temporal behavior - UCSD Technical Report
Elio Damaggio and Alin Deutsch and Dayou Zhou
2010 ; N/A (Manuscript)
Link to paper

Views and Queries: Determinacy and Rewriting
Alan Nash and Luc Segoufin and Victor Vianu
2010 ; TODS
Link to paper

Load-Balanced Query Dissemination in Privacy-Aware Online Communities
Emiran Curtmola and Alin Deutsch and K.K. Ramakrishnan and Divesh Srivastava
2010 ; SIGMOD
Link to paper

Ajax-based Report Pages as Incrementally Rendered Views
Yupeng Fu and Keith Kowalczykowski and Kian Win Ong and Yannis Papakonstantinou and Kevin Keliang Zhao
2010 ; SIGMOD
Link to paper

WikiAnalytics: Disambiguation of Keyword Search Results on Highly Heterogeneous Structured Data
Andrey Balmin and Emiran Curtmola
2010 ; WebDB
Link to paper

WikiAnalytics: Disambiguation of Keyword Search Results on Highly Heterogeneous Structured Data -- IBM Research Report RJ10466, May 2010
Andrey Balmin and Emiran Curtmola
2010 ; IBM Research Report RJ10466, May 2010
Link to paper

Censorship-resistant Publishing -- UCSD Technical Report CS2010-0956
Emiran Curtmola and Alin Deutsch and K.K. Ramakrishnan and Divesh Srivastava
2010 ; N/A (Manuscript)
Link to paper

Policy-Aware Sender Anonymity in Location Based Services
Alin Deutsch and Richard Hull and Avinash Vyas and Kevin Keliang Zhao
2010 ; ICDE
Link to paper

Supporting Top-K Keyword Search in XML Databases
Liang Jeff Chen and Yannis Papakonstantinou
2010 ; ICDE
Link to paper

Inconsistency resolution in online databases
Yannis Katsis and Alin Deutsch and Vasilis Vassalos and Yannis Papakonstantinou
2010 ; ICDE
Link to paper

WikiAnalytics: Ad-hoc Querying of Highly Heterogeneous Structured Data
Andrey Balmin and Emiran Curtmola
2010 ; ICDE Demo
Link to paper

Flexible Multimedia Content Retrieval Using InfoNames
Arun Kumar and Ashok Anand and Athula Balachandran and Vyas Sekar and Aditya Akella and Srinivasan Seshan
2010 ; N/A (Manuscript)

Energy-efficient Mobile Data Collection in Wireless Sensor Networks with Delay Reduction Using Wireless Communication
Arun Kumar and Krishna M. Sivalingam
2010 ; Proceedings of the 2Nd International Conference on COMmunication Systems and NETworks

FORWARD: Design Specification Techniques for Do-It-Yourself Application Platforms
Gaurav Bhatia and Yupeng Fu and Keith Kowalczykowski and Kian Win Ong and Kevin Keliang Zhao and Alin Deutsch and Yannis Papakonstantinou
2009 ; WebDB
Link to paper

Policy-Aware Sender Anonymity in Location Based Services
Alin Deutsch and Richard Hull and Kevin Keliang Zhao and Avinash Vyas
2009 ; N/A (Manuscript)
Link to paper

Efficient Rewriting of XPath Queries Using Query Set Specifications
Bogdan Cautis and Alin Deutsch and Nicola Onose and Vasilis Vassalos
2009 ; N/A (Manuscript)
Link to paper

Join-Based Algorithms for Keyword Search in XML Databases
Liang Jeff Chen and Yannis Papakonstantinou
2009 ; N/A (Manuscript)
Link to paper

Automatic Verification of Data-centric Business Processes
Alin Deutsch and Richard Hull and Fabio Patrizi and Victor Vianu
2009 ; ICDT
Link to paper

Querying Data Sources That Export Infinite Sets of Views
Bogdan Cautis and Alin Deutsch and Nicola Onose
2009 ; ICDT
Link to paper

View-based Data Integration
Yannis Katsis and Yannis Papakonstantinou
2009 ; Encyclopedia of Database Systems
Link to paper

Computationally Complete Relational Query Languages
Dirk Van Gucht and Victor Vianu
2009 ; N/A (Manuscript)

Search Driven Analysis of Heterogenous XML Data
Andrey Balmin and Latha Colby and Emiran Curtmola and Quanzhong Li and Fatma Ozcan
2009 ; CIDR
Link to paper

Efficient Rewriting of XPath Queries Using Query Set Specifications
Bogdan Cautis and Alin Deutsch and Nicola Onose and Vasilis Vassalos
2009 ; VLDB
Link to paper

Do-It-Yourself Database-Driven Web Applications (extended version)
Keith Kowalczykowski and Kian Win Ong and Kevin Keliang Zhao and Alin Deutsch and Yannis Papakonstantinou and Michalis Petropoulos
2009 ; CIDR
Link to paper

Automatic verification of database-driven systems: a new frontier
Victor Vianu
2009 ; ICDT
Link to paper

XML Tuple Algebra
Ioana Manolescu and Yannis Papakonstantinou and Vasilis Vassalos
2009 ; Encyclopedia of Database Systems
Link to paper

Static analysis of active XML systems
Serge Abiteboul and Luc Segoufin and Victor Vianu
2009 ; TODS
Link to paper

Modeling and Verifying Active XML Artifacts
Serge Abiteboul and Luc Segoufin and Victor Vianu
2009 ; IEEE Data Engineering Bulletin
Link to paper

Queries over Virtual Nested Objects
Liang Jeff Chen and Yannis Papakonstantinou
2008 ; N/A (Manuscript)
Link to paper

WAVE: Automatic Verification of Data-Driven Web Services
Alin Deutsch and Victor Vianu
2008 ; IEEE Data Engineering Bulletin
Link to paper

Managing and Querying Transaction-time Databases under Schema Evolution
Hyun Moon and Carlo Curino and Alin Deutsch and Chien Hu and Carlo Zaniolo
2008 ; VLDB
Link to paper

Interactive Source Registration in Community-oriented Information Integration
Yannis Katsis and Alin Deutsch and Yannis Papakonstantinou
2008 ; VLDB
Link to paper

RIDE: A Tool for Interactive Source Registration in Community-oriented Information Integration
Yannis Katsis and Alin Deutsch and Yannis Papakonstantinou and Kevin Keliang Zhao
2008 ; VLDB Demo
Link to paper

SEDA: A System for Search, Exploration, Discovery, and Analysis of XML Data
Andrey Balmin and Latha Colby and Emiran Curtmola and Quanzhong Li and Fatma Ozcan and Sharath Srinivas and Zografoula Vagena
2008 ; VLDB Demo
Link to paper

XTreeNet: Democratic Community Search
Emiran Curtmola and Alin Deutsch and Dionysios Logothetis and K.K. Ramakrishnan and Divesh Srivastava and Kenneth Yocum
2008 ; VLDB Demo
Link to paper

The Chase Revisited
Alin Deutsch and Alan Nash and Jeff Remmel
2008 ; PODS
Link to paper

XML Query Optimization in the Presence of Side Effects
Giorgio Ghelli and Nicola Onose and Kristoffer Rose and Jerome Simeon
2008 ; SIGMOD
Link to paper

Handling Data Skew in Parallel Joins in Shared-Nothing Systems
Yu Xu and Pekka Kostamaa and Xin Zhou and Liang Jeff Chen
2008 ; SIGMOD

XPath Rewriting Using Multiple Views: Achieving Completeness and Efficiency
Bogdan Cautis and Alin Deutsch and Nicola Onose
2008 ; WebDB
Link to paper

A Restful Workflow Implementation on Top of Distributed XQuery
Nicola Onose and Rania Khalaf and Kristoffer Rose and Jerome Simeon
2008 ; XIME-P
Link to paper

Static Analysis of Active XML Systems
Serge Abiteboul and Luc Segoufin and Victor Vianu
2008 ; PODS
Link to paper

XPath Views for Documents with Persistent Identifiers
Bogdan Cautis and Alin Deutsch and Nicola Onose
2008 ; N/A (Manuscript)
Link to paper

The Chase Revisited (Full Version)
Alin Deutsch and Alan Nash and Jeff Remmel
2008 ; N/A (Manuscript)
Link to paper

Efficient LCA-based keyword search in XML data
Yu Xu and Yannis Papakonstantinou
2008 ; EDBT
Link to paper

Authority-Based Keyword Search in Databases
Vagelis Hristidis and Heasoo Hwang and Yannis Papakonstantinou
2008 ; TODS
Link to paper

First Order Modeling of Integrity Constraints (DB Encyclopedia Entry)
Alin Deutsch
2008 ; N/A (Manuscript)
Link to paper

Chase (DB Encyclopedia Entry)
Alin Deutsch and Alan Nash
2008 ; N/A (Manuscript)
Link to paper

Exporting and Interactively Querying Web Service-Accessed Sources: The CLIDE System
Michalis Petropoulos and Alin Deutsch and Yannis Papakonstantinou and Yannis Katsis
2007 ; TODS
Link to paper

Efficient LCA based Keyword Search in XML Data
Yu Xu and Yannis Papakonstantinou
2007 ; CIKM
Link to paper

Privacy in Database Publishing: a Bayesian Perspective
Alin Deutsch
2007 ; N/A (Manuscript)
Link to paper

Structured Materialized Views for XML Queries
Andrei Arion and Veronique Benzaken and Ioana Manolescu and Yannis Papakonstantinou
2007 ; VLDB
Link to paper

Inverse Functions in the AquaLogic Data Services Platform
Nicola Onose and Vinayak Borkar and Michael Carey
2007 ; VLDB
Link to paper

A Better Semantics for XQuery with Side-Effects
Giorgio Ghelli and Nicola Onose and Kristoffer Rose and Jerome Simeon
2007 ; DBPL
Link to paper

Efficient LCA based Keyword Search in XML Data
Yu Xu and Yannis Papakonstantinou
2007 ; N/A (Manuscript)
Link to paper

Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report
Luc Segoufin and Alan Nash and Victor Vianu
2007 ; ICDT
Link to paper

A Platform for Search in the Big Web 2.0
Emiran Curtmola
2007 ; IDAR
Link to paper

Highly Distributed XQuery with DXQ
Mary Fernandez and Trevor Jim and Kristi Morton and Nicola Onose and Jerome Simeon
2007 ; SIGMOD
Link to paper

DXQ: A Distributed XQuery Scripting Language
Mary Fernandez and Trevor Jim and Kristi Morton and Nicola Onose and Jerome Simeon
2007 ; XIME-P
Link to paper

CLIDE: Interactive Query Formulation for Service Oriented Architectures
Michalis Petropoulos and Alin Deutsch and Yannis Papakonstantinou
2007 ; SIGMOD Demo
Link to paper

Specification and Verification of Data-driven Web Applications
Alin Deutsch and Liying Sui and Victor Vianu
2007 ; JCSS
Link to paper

Querying Data Sources That Export Infinite Sets of Views
Bogdan Cautis and Alin Deutsch and Nicola Onose
2007 ; N/A (Manuscript)
Link to paper

Rewriting Queries Using Views with Access Patterns under Integrity Constraints
Alin Deutsch and Bertram Ludascher and Alan Nash
2007 ; TCS
Link to paper

Privacy in GLAV Information Integration
Alin Deutsch and Alan Nash
2007 ; ICDT
Link to paper

Privacy in GLAV Information Integration (extended version of ICDT'07 paper)
Alin Deutsch and Alan Nash
2006 ; N/A (Manuscript)

Representing and querying XML with incomplete information
Victor Vianu and Serge Abiteboul and Luc Segoufin
2006 ; TODS
Link to paper

Query Processing in the AquaLogic Data Services Platform
Vinayak Borkar and Nicola Onose and Daniel Engovatov and Till Westmann and Dmitry Lychagin and Michael Carey
2006 ; VLDB
Link to paper

Flexible and Efficient XML Search with Complex Full-Text Predicates
Alin Deutsch and Sihem Amer-Yahia and Emiran Curtmola
2006 ; SIGMOD
Link to paper

Verification of Communicating Data-driven Web Services
Alin Deutsch and Victor Vianu and Liying Sui and Dayou Zhou
2006 ; PODS
Link to paper

Interactive Query Formulation over Web Service-Accessed Sources
Alin Deutsch and Yannis Papakonstantinou and Michalis Petropoulos
2006 ; SIGMOD
Link to paper

Rewriting Nested XML Queries Using Nested Views
Alin Deutsch and Yannis Papakonstantinou and Nicola Onose and Emiran Curtmola
2006 ; SIGMOD
Link to paper

A System for Specification and Verification of Interactive, Data-driven Web Applications
Alin Deutsch and Victor Vianu and Liying Sui and Dayou Zhou
2006 ; SIGMOD Demo
Link to paper

Data Exchange, Data Integration and Chase
Alin Deutsch and Alan Nash and Jeff Remmel
2006 ; N/A (Manuscript)
Link to paper

Query Reformulation with Constraints
Alin Deutsch and Val Tannen and Lucian Popa
2006 ; SIGMOD Record
Link to paper

ObjectRank: A System for Authority-based Search on Databases
Yannis Papakonstantinou and Vagelis Hristidis and Heasoo Hwang
2006 ; SIGMOD Demo
Link to paper

Branch-and-Bound Processing of Ranked Queries
Yannis Papakonstantinou and Vagelis Hristidis and Yufei Tao and Dimitris Papadias
2006 ; Information Systems
Link to paper

Algebra-based identification of tree patterns in XQuery
Andrei Arion and Veronique Benzaken and Ioana Manolescu and Yannis Papakonstantinou and Ravi Vijay
2006 ; FQAS
Link to paper

Structured Materialized Views for XML Queries
Ioana Manolescu and Veronique Benzaken and Andrei Arion and Yannis Papakonstantinou
2006 ; BDA
Link to paper

Keyword Proximity Search in XML Trees
Divesh Srivastava and Yannis Papakonstantinou and Vagelis Hristidis and Nick Koudas
2006 ; IEEE Transactions on Knowledge and Data Engineering
Link to paper

The Role of Visual Tools in a Web Application Design and Verification Framework: a Visual Notation for LTL Formulae
Alin Deutsch and Victor Vianu and Liying Sui and Marco Brambilla
2005 ; ICWE
Link to paper

What is a Concept?
Joseph Goguen
2005 ; ICCS
Link to paper

Information Integration in Institutions
Joseph Goguen
2005 ; Jon Barwise memorial volume edited by Larry Moss
Link to paper

Composition of Mappings Given by Embedded Dependencies
Alan Nash and Philip Bernstein and Sergey Melnik
2005 ; PODS
Link to paper

A Verifier for Interactive, Data-driven Web Applications
Alin Deutsch and Victor Vianu and Liying Sui and Dayou Zhou and Monica Marcus
2005 ; SIGMOD
Link to paper

Determining Source Contribution in Integration Systems
Alin Deutsch and Yannis Papakonstantinou and Yannis Katsis
2005 ; PODS
Link to paper

Views and Queries: Determinacy and Rewriting
Victor Vianu and Luc Segoufin
2005 ; PODS
Link to paper

Efficient Keyword Search for Smallest LCAs in XML Databases
Yannis Papakonstantinou and Yu Xu
2005 ; SIGMOD
Link to paper

Extending XQuery for Analytics
Yu Xu and Latha Colby and Kevin Beyer and Don Chamberlin and Fatma Ozcan and Hamid Pirahesh
2005 ; SIGMOD
Link to paper

GalaTex: A Conformant Implementation of the XQuery Full-Text Language
Mary Fernandez and Sihem Amer-Yahia and Emiran Curtmola and Philip Brown
2005 ; XIME-P
Link to paper

Graphical Query Interfaces for Semistructured Data: The QURSED System
Yannis Papakonstantinou and Vasilis Vassalos and Michalis Petropoulos
2005 ; TOIT
Link to paper

Building an XQuery Interpreter in a Compiler Construction Course
Sara Miner-More and Tim Pevzner and Alin Deutsch and Scott Baden and Paul Kube
2005 ; SIGCSE
Link to paper

XML Queries and Constraints, Containment and Reformulation
Alin Deutsch and Val Tannen
2005 ; TCS
Link to paper

Rewriting Nested XML Queries Using Nested Views
Alin Deutsch and Yannis Papakonstantinou and Nicola Onose and Emiran Curtmola
2005 ; N/A (Manuscript)

Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM)
Ioanna Koffina and Giorgos Serfiotis and Vassilis Christophides and Val Tannen and Alin Deutsch
2005 ; Semantic Interoperability and Integration
Link to paper

Rewriting Queries Using Views with Access Patterns Under Integrity Constraints
Alin Deutsch and Bertram Ludascher and Alan Nash
2005 ; ICDT
Link to paper

Privacy in Database Publishing
Alin Deutsch and Yannis Papakonstantinou
2005 ; ICDT
Link to paper

PTIME Queries Revisited
Victor Vianu and Alan Nash and Jeff Remmel
2005 ; ICDT
Link to paper

Incremental Validation of XML Documents
Victor Vianu and Yannis Papakonstantinou and Andrey Balmin
2004 ; TODS
Link to paper

Industrial-Strength Schema Matching
Michalis Petropoulos and Philip Bernstein and Sergey Melnik and Christoph Quix
2004 ; SIGMOD Record

[Newly Revised] Ontology, Society, and Ontotheology,
Joseph Goguen
2004 ; FOIS
Link to paper

Three Perspectives on Information Integration
Joseph Goguen
2004 ; Seminar 04391, Semantic Interoperability and Integration
Link to paper

The NEXT Logical Framework for XQuery
Alin Deutsch and Yannis Papakonstantinou and Yu Xu
2004 ; VLDB
Link to paper

Authority-Based Keyword Queries in Databases using ObjectRank
Yannis Papakonstantinou and Andrey Balmin and Vagelis Hristidis
2004 ; VLDB
Link to paper

Data, Schema, Ontology, and Logic Integration
Joseph Goguen
2004 ; CombLog

Specification and Verification of Data-Driven Web Services
Alin Deutsch and Victor Vianu and Liying Sui
2004 ; PODS
Link to paper

Processing First-Order Queries Under Limited Access Patterns
Bertram Ludascher and Alan Nash
2004 ; PODS

YooHoo! Building a Presence Service with XQuery and WSDL
Mary Fernandez and Richard Hull and Nicola Onose and Jerome Simeon
2004 ; SIGMOD Demo
Link to paper

XQuery at Your Web Service
Nicola Onose and Jerome Simeon
2004 ; WWW
Link to paper

Critical Points for Interactive Schema Matching
Joseph Goguen and Guilian Wang and Kai Lin and Young-Kwang Nam
2004 ; APWeb
Link to paper

Minimization and Group-By Detection for Nested XQueries
Alin Deutsch and Yannis Papakonstantinou and Yu Xu
2004 ; ICDE
Link to paper

Processing Unions of Conjunctive Queries with Negation Under Limited Access Patterns
Bertram Ludascher and Alan Nash
2004 ; EDBT

Storing and Querying XML Data Using Denormalized Relational Databases
Yannis Papakonstantinou and Andrey Balmin
2004 ; VLDB Journal
Link to paper

Algorithms and Applications for answering Ranked Queries using Ranked Views
Yannis Papakonstantinou and Vagelis Hristidis
2004 ; VLDB Journal
Link to paper

Share your data, Keep your secrets.
Irini Fundulaki and Arnaud Sahuguet and Guillaume Giraud and Nicola Onose and Nicolas Pombourcq and Daniel Lieuwen
2004 ; SIGMOD Demo
Link to paper

Finite state machines for strings over infinite alphabets
Victor Vianu and Frank Neven and Thomas Schwentick
2004 ; TOCL
Link to paper

XML: From Practice to Theory
Victor Vianu
2003 ; SBBD
Link to paper

MARS: A System for Publishing XML from Mixed and Redundant Storage
Alin Deutsch and Val Tannen
2003 ; VLDB
Link to paper

Phrase Matching in XML
Divesh Srivastava and Yu Xu and Sihem Amer-Yahia
2003 ; VLDB
Link to paper

The Query Set Specification Language (QSSL)
Alin Deutsch and Yannis Papakonstantinou and Michalis Petropoulos
2003 ; WebDB
Link to paper

PIX: Exact and Approximate Phrase Matching in XML
Divesh Srivastava and Yu Xu and Sihem Amer-Yahia
2003 ; SIGMOD Demo

Keyword Proximity Search on XML Graphs
Yannis Papakonstantinou and Andrey Balmin and Vagelis Hristidis
2003 ; ICDE
Link to paper

PIX: A System for Phrase Matching in XML Documents
Divesh Srivastava and Yu Xu and Sihem Amer-Yahia
2003 ; ICDE Demo

Logic as a Query Language: From Frege to XML
Victor Vianu
2003 ; STACS
Link to paper

XML queries and algebra in the Enosys integration platform
Yannis Papakonstantinou and Vasilis Vassalos and Pavel Velikhov and Vinayak Borkar and Maxim Orgiyan and Konstantinos Stathatos and Lucian Suta
2003 ; Data & Knowledge Engineering
Link to paper

Reformulation of XML Queries and Constraints
Alin Deutsch and Val Tannen
2003 ; ICDT
Link to paper

Incremental Validation of XML Documents
Victor Vianu and Yannis Papakonstantinou
2003 ; ICDT
Link to paper

Efficient IR-Style Keyword Search over Relational Databases
Yannis Papakonstantinou and Luis Gravano and Vagelis Hristidis
2003 ; VLDB
Link to paper

Typechecking for XML transformers
Dan Suciu and Victor Vianu and Tova Milo
2003 ; JCSS
Link to paper

Typechecking XML views of relational databases
Dan Suciu and Victor Vianu and Tova Milo and Noga Alon and Frank Neven
2003 ; TOCL
Link to paper

A System for Keyword Search on XML Databases
Divesh Srivastava and Yannis Papakonstantinou and Andrey Balmin and Vagelis Hristidis and Nick Koudas and Tianqiu Wang
2003 ; VLDB Demo
Link to paper

XML with data values: typechecking revisited
Dan Suciu and Victor Vianu and Tova Milo and Noga Alon and Frank Neven
2003 ; JCSS
Link to paper

Understanding the global semantics of referential actions using logic rules
Bertram Ludascher and Wolfgang May
2002 ; TODS

Report on the EDBT'02 Panel on Scientific Data Integration
Bertram Ludascher and Omar Boucelma and Silvana Castano and Carole Goble and Vanja Josifovski and Zoe Lacroix
2002 ; SIGMOD Record

QURSED: Querying and Reporting Semistructured Data
Yannis Papakonstantinou and Vasilis Vassalos and Michalis Petropoulos
2002 ; SIGMOD
Link to paper

Semantic Caching of XML Databases
Michalis Petropoulos and Vagelis Hristidis
2002 ; WebDB
Link to paper

Multi-level Information Modeling and Preservation of eGOV Data
Bertram Ludascher and Richard Marciano and Reagan Moore and Ilya Zaslavsky and Keith Pezzoli
2002 ; EGOV

Architecture and Implementation of an XQuery-based Information Integration Platform
Yannis Papakonstantinou and Vasilis Vassalos
2002 ; IEEE Data Engineering Bulletin
Link to paper

Building XML query forms and reports with XQForms
Yannis Papakonstantinou and Vasilis Vassalos and Michalis Petropoulos
2002 ; Computer Networks
Link to paper

Registering Scientific Information Sources for Semantic Mediation
Bertram Ludascher and Amarnath Gupta and Maryann Martone
2002 ; ER

Navigating Virtual Information Sources with Know-ME
Bertram Ludascher and Amarnath Gupta and Maryann Martone and Xufei Qian
2002 ; EDBT

A System for Managing Alternate Models in Model-Based Mediation
Bertram Ludascher and Amarnath Gupta and Maryann Martone and Xufei Qian and Edward Ross and Joshua Tran and Ilya Zaslavsky
2002 ; BNCOD

Ontology services for curriculum development in NSDL
Bertram Ludascher and Reagan Moore and Amarnath Gupta
2002 ; JCDL

A Transducer-Based XML Query Processor
Bertram Ludascher and Yannis Papakonstantinou and Pratik Mukhopadhyay
2002 ; VLDB
Link to paper

Validating Streaming XML Documents
Victor Vianu and Luc Segoufin
2002 ; PODS
Link to paper

Mixing Querying and Navigation in MIX
Yannis Papakonstantinou and Pratik Mukhopadhyay
2002 ; ICDE
Link to paper

DISCOVER: Keyword Search in Relational Databases
Yannis Papakonstantinou and Vagelis Hristidis
2002 ; VLDB
Link to paper

Time to Leave the Trees: From Syntactic to Conceptual Querying of XML
Bertram Ludascher and Amarnath Gupta and Ilkay Altintas
2002 ; EDBT Workshops

Containment and Integrity Constraints for XPath Fragments
Alin Deutsch and Val Tannen
2001 ; N/A (Manuscript)
Link to paper

Merging results from Multi-parametric Ranked Queries
Yannis Papakonstantinou and Vagelis Hristidis
2001 ; N/A (Manuscript)
Link to paper

Containment and Integrity Constraints for XPath
Alin Deutsch and Val Tannen
2001 ; KRDB
Link to paper

Model-Based Mediation with Domain Maps
Bertram Ludascher and Amarnath Gupta and Maryann Martone
2001 ; ICDE

Typechecking XML Views of Relational Databases
Dan Suciu and Victor Vianu and Tova Milo and Noga Alon and Frank Neven
2001 ; LICS

XML with Data Values: Typechecking Revisited
Dan Suciu and Victor Vianu and Tova Milo and Noga Alon and Frank Neven
2001 ; PODS

A Web Odyssey: From Codd to XML
Victor Vianu
2001 ; PODS
Link to paper

Towards Regular Languages over Infinite Alphabets
Victor Vianu and Frank Neven and Thomas Schwentick
2001 ; MFCS

Representing and Querying XML with Incomplete Information
Victor Vianu and Serge Abiteboul and Luc Segoufin
2001 ; PODS

PREFER: A System for the Efficient Execution of Multi-parametric Ranked Queries
Yannis Papakonstantinou and Vagelis Hristidis and Nick Koudas
2001 ; SIGMOD
Link to paper

The Enosys Markets Data Integration Platform: Lessons from the Trenches
Yannis Papakonstantinou and Vasilis Vassalos
2001 ; CIKM
Link to paper

XML Query Forms (XQForms): Declarative Specification of XML Query Interfaces
Yannis Papakonstantinou and Vasilis Vassalos and Michalis Petropoulos
2001 ; WWW
Link to paper

Optimization Properties for Classes of Conjunctive Regular Path Queries
Alin Deutsch and Val Tannen
2001 ; DBPL
Link to paper

Query Evaluation and Presentation Planning within a Spatial Mediator: Extending XML-based Mediation to Heterogeneous Sources of GIS and Imagery Data (Invited Address)
Bertram Ludascher and Amarnath Gupta and Ilya Zaslavsky and Shabbar Tambawala
2001 ; DEXA Workshop

An Extensible Model-Based Mediatior System with Domain Maps
Bertram Ludascher and Amarnath Gupta and Maryann Martone
2001 ; ICDE Demo

Preservation of Digital Data with Self-Validating, Self-Instantiating Knowledge-Based Archives
Bertram Ludascher and Richard Marciano and Reagan Moore
2001 ; SIGMOD Record

Towards Self-Validating Knowledge-Based Archives
Bertram Ludascher and Richard Marciano and Reagan Moore
2001 ; RIDE-DM

Querying Spatial Databases via Topological Invariants
Victor Vianu and Luc Segoufin
2000 ; JCSS

Queries and computation on the web
Victor Vianu and Serge Abiteboul
2000 ; TCS

Relational Transducers for Electronic Commerce
Victor Vianu and Serge Abiteboul and Brad Fordham and Yelena Yesha
2000 ; JCSS

SIGMOD Sister Societies
Victor Vianu and Stefano Ceri and Leonid Kalinichenko and Masaru Kitsuregawa and Hongjun Lu and Zehra Ozsoyoglu and Richard Snodgrass
2000 ; SIGMOD Record

Expressive Capabilities Description Languages and Query Rewriting Algorithms
Yannis Papakonstantinou and Vasilis Vassalos
2000 ; JLP
Link to paper

A Chase Too Far?
Alin Deutsch and Arnaud Sahuguet and Val Tannen and Lucian Popa
2000 ; SIGMOD
Link to paper

Model-Based Information Integration in a Neuroscience Mediator System
Bertram Ludascher and Amarnath Gupta and Maryann Martone
2000 ; VLDB

Knowledge-Based Integration of Neuroscience Data Sources
Bertram Ludascher and Amarnath Gupta and Maryann Martone
2000 ; SSDBM

Navigation-Driven Evaluation of Virtual Mediated Views
Bertram Ludascher and Yannis Papakonstantinou and Pavel Velikhov
2000 ; EDBT
Link to paper

Typechecking for XML Transformers
Dan Suciu and Victor Vianu and Tova Milo
2000 ; PODS

Topological Queries
Victor Vianu and Bart Kuijpers
2000 ; Constraint Databases

DTD Inference for Views of XML Data
Victor Vianu and Yannis Papakonstantinou
2000 ; PODS
Link to paper

Optimization of Hypothetical Queries in an OLAP Environment
Yannis Papakonstantinou and Andrey Balmin and Thanos Papadimitriou
2000 ; ICDE
Link to paper

Hypothetical Queries in an OLAP Environment
Yannis Papakonstantinou and Andrey Balmin and Thanos Papadimitriou
2000 ; VLDB
Link to paper

BBQ: A Visual Interface for Integrated Browsing and Querying of XML
Yannis Papakonstantinou and Kevin Munroe
2000 ; VDB
Link to paper

Reminiscences on Influential Papers
Alon Levy and Victor Vianu and Kenneth Ross and Christos Faloutsos and Patrick O'Neil and Eric Simon and Divesh Srivastava and Gerhard Weikum
2000 ; SIGMOD Record

Games and total Datalog queries
Bertram Ludascher and Jorg Flum and Max Kubierschky
2000 ; TCS

Review - On Instance-Completeness for Database Query Languages involving Object Creation
Victor Vianu
2000 ; ACM SIGMOD Digital Review

Review - Exact and Approximate Aggregation in Constraint Query
Victor Vianu
2000 ; ACM SIGMOD Digital Review

Regular Path Queries with Constraints
Victor Vianu and Serge Abiteboul
1999 ; JCSS

Storing Semistructured Data with STORED
Alin Deutsch and Mary Fernandez and Dan Suciu
1999 ; SIGMOD
Link to paper

Physical Data Independence, Constraints, and Optimization with Universal Plans
Alin Deutsch and Val Tannen and Lucian Popa
1999 ; VLDB
Link to paper

XML-based Information Mediation for Digital Libraries
Bertram Ludascher and Richard Marciano and Yannis Papakonstantinou and Amarnath Gupta and Chaitanya Baru and Vincent Chu and Pavel Velikhov
1999 ; ACM DL

XML-Based Information Mediation with MIX
Bertram Ludascher and Richard Marciano and Yannis Papakonstantinou and Amarnath Gupta and Chaitanya Baru and Vincent Chu and Pavel Velikhov
1999 ; SIGMOD
Link to paper

A Framework for Navigation-Driven Lazy Mediators
Bertram Ludascher and Yannis Papakonstantinou and Pavel Velikhov
1999 ; WebDB
Link to paper

Topological Queries in Spatial Databases
Dan Suciu and Victor Vianu and Christos Papadimitriou
1999 ; CSL

Enhancing Semistructured Data Mediators with Document Type Definitions
Yannis Papakonstantinou and Pavel Velikhov
1999 ; ICDE
Link to paper

Query Rewriting for Semistructured Data
Yannis Papakonstantinou and Vasilis Vassalos
1999 ; SIGMOD
Link to paper

A Query Language for XML
Alin Deutsch and Mary Fernandez and Daniela Florescu and Alon Levy and Dan Suciu
1999 ; Computer Networks
Link to paper

Querying XML Data
Alin Deutsch and Mary Fernandez and Daniela Florescu and Alon Levy and Dan Suciu and David Maier
1999 ; IEEE Data Engineering Bulletin
Link to paper

Modeling Interactive Web Sources for Information Mediation
Bertram Ludascher and Amarnath Gupta
1999 ; ER Workshops

A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web
Bertram Ludascher and Rainer Himmeroder and Georg Lausen and Wolfgang May
1999 ; ER Workshops

Topological Queries in Spatial Databases
Dan Suciu and Victor Vianu and Christos Papadimitriou
1999 ; JCSS

XML Query Languages: Experiences and Exemplars
Mary Fernandez and Jerome Simeon and Philip Wadler and Sophie Cluet and Alin Deutsch and Daniela Florescu and Alon Levy and David Maier and Jonathan Robie and Dan Suciu and Jennifer Widom
1999 ; N/A (Manuscript)
Link to paper

Capabilities-Based Query Rewriting in Mediator Systems
Yannis Papakonstantinou and Ashish Gupta and Laura Haas
1998 ; Distributed and Parallel Databases
Link to paper

Mediating and Metasearching on the Internet
Yannis Papakonstantinou and Luis Gravano
1998 ; IEEE Data Engineering Bulletin
Link to paper

Integration of Active and Deductive Database Rules
Bertram Ludascher
1998 ; N/A (Manuscript)

On Logical Foundations of Active Databases
Bertram Ludascher and Georg Lausen and Wolfgang May
1998 ; Logics for Databases and Information Systems

On Active Deductive Databases: The Statelog Approach
Bertram Ludascher and Georg Lausen and Wolfgang May
1998 ; Transactions and Change in Logic Databases

Referential Actions: From Logical Semantics to Implementation
Bertram Ludascher and Wolfgang May
1998 ; EDBT

Fusion Queries over Internet Databases
Serge Abiteboul and Yannis Papakonstantinou and Hector Garcia-Molina and Ramana Yerneni
1998 ; EDBT
Link to paper

Querying Spatial Databases via Topological Invariants
Victor Vianu and Luc Segoufin
1998 ; PODS

Active Views for Electronic Commerce
Victor Vianu and Serge Abiteboul and Bernd Amann and Sophie Cluet and Tova Milo
1998 ; BDA

Relational Transducers for Electronic Commerce
Victor Vianu and Serge Abiteboul and Yelena Yesha and Bradley Fordham
1998 ; PODS

Capability Based Mediation in TSIMMIS
Yannis Papakonstantinou and Vasilis Vassalos and Hector Garcia-Molina and Jeffrey Ullman and Ramana Yerneni and Chen Li and Murty Valiveti
1998 ; SIGMOD
Link to paper

XML-QL
Alin Deutsch and Mary Fernandez and Daniela Florescu and Alon Levy and Dan Suciu
1998 ; QL

Xml-ql: A Query Language for XML
Alin Deutsch and Mary Fernandez and Daniela Florescu and Alon Levy and Dan Suciu
1998 ; N/A (Manuscript)

Beyond XML Query Languages
Alin Deutsch and Peter Buneman and Wenfei Fan and Hartmut Liefke and Arnaud Sahuguet and Wang-Chiew Tan
1998 ; QL
Link to paper

Integration of Active and Deductive Database Rules (Abstract)
Bertram Ludascher
1998 ; Datenbank Rundbrief

Handling Termination in a Logical Language for Active Rules
Bertram Ludascher and Georg Lausen
1998 ; Informatica (Lithuanian Academy of Sciences)

Querying the Web with FLORID
Bertram Ludascher and Rainer Himmeroder
1998 ; GvD

Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective
Bertram Ludascher and Rainer Himmeroder and Georg Lausen and Wolfgang May and Christian Schlepphorst
1998 ; Information Systems

Search, Analysis, and Integration of Web Documents: A Case Study with FLORID
Bertram Ludascher and Rainer Himmeroder and Georg Lausen and Wolfgang May and Paul-Thomas Kandzia
1998 ; DDLP

Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation
Bertram Ludascher and Victor Vianu and Yannis Papakonstantinou and Chaitanya Baru and Pavel Velikhov
1998 ; QL
Link to paper

Semantics and Expressiveness Issues in Active Databases
Victor Vianu and Philippe Picouet
1998 ; JCSS

Reflective Relational Machines
Victor Vianu and Serge Abiteboul and Christos Papadimitriou
1998 ; Information and Computation

A Probabilistic View of Datalog Parallelization
Victor Vianu and Sergio Lifschitz
1998 ; TCS

Fixpoint logics, relational machines, and computational complexity
Victor Vianu and Serge Abiteboul and Moshe Vardi
1997 ; JACM

The TSIMMIS Approach to Mediation: Data Models and Languages
Yannis Papakonstantinou and Vasilis Vassalos and Hector Garcia-Molina and Dallan Quass and Anand Rajaraman and Yehoshua Sagiv and Jeffrey Ullman and Jennifer Widom
1997 ; JIIS
Link to paper

Well-Founded Semantics for Deductive Object-Oriented Database Languages
Bertram Ludascher and Georg Lausen and Wolfgang May
1997 ; DOOD

Referential Actions as Logic Rules
Bertram Ludascher and Georg Lausen and Wolfgang May
1997 ; PODS

Total and Partial Well-Founded Datalog Coincide
Bertram Ludascher and Jorg Flum and Max Kubierschky
1997 ; ICDT

On a Declarative Semantics for Web Queries
Bertram Ludascher and Rainer Himmeroder and Georg Lausen and Christian Schlepphorst
1997 ; DOOD

Expressiveness and Complexity of Active Databases
Victor Vianu and Philippe Picouet
1997 ; ICDT

Queries and Computation on the Web
Victor Vianu and Serge Abiteboul
1997 ; ICDT

Regular Path Queries with Constraints
Victor Vianu and Serge Abiteboul
1997 ; PODS

Describing and Using Query Capabilities of Heterogeneous Sources
Yannis Papakonstantinou and Vasilis Vassalos
1997 ; VLDB
Link to paper

Rule-Based Languages
Victor Vianu
1997 ; Annals of Mathematics and Artificial Intelligence

Design, Implementation and Management of Rules in an Active Database System
Alin Deutsch and Jurgen Zimmermann and Holger Brandig and Alejandro Buchmann and Andreas Geppert
1996 ; DEXA

Nested Transactions in a Logical Language for Active Rules
Bertram Ludascher and Georg Lausen and Wolfgang May
1996 ; LID

Topological Queries in Spatial Databases
Dan Suciu and Victor Vianu and Christos Papadimitriou
1996 ; PODS

Object Fusion in Mediator Systems
Serge Abiteboul and Yannis Papakonstantinou and Hector Garcia-Molina
1996 ; VLDB
Link to paper

Capabilities-Based Query Rewriting in Mediator Systems
Yannis Papakonstantinou and Ashish Gupta and Laura Haas
1996 ; PDIS
Link to paper

MedMaker: A Mediation System Based on Declarative Specifications
Yannis Papakonstantinou and Hector Garcia-Molina and Jeffrey Ullman
1996 ; ICDE
Link to paper

Query Caching and Optimization in Distributed Mediator Systems
Yannis Papakonstantinou and Sibel Adali and V. Subrahmanian
1996 ; SIGMOD
Link to paper

Towards a Logical Semantics for Referential Actions in SQL
Bertram Ludascher and Wolfgang May and Joachim Reinert
1996 ; FMLDO

Computing with First-Order Logic
Victor Vianu and Serge Abiteboul
1995 ; JCSS

Computing with Infinitary Logic
Victor Vianu and Serge Abiteboul and Moshe Vardi
1995 ; TCS

Tractable Query Languages for Complex Object Databases
Victor Vianu and Stephane Grumbach
1995 ; JCSS

The ADMS Project: View R Us
Yannis Papakonstantinou and Nick Roussopoulos and Chung-Min Chen and Stephen Kelley and Alex Delis
1995 ; IEEE Data Engineering Bulletin
Link to paper

Foundations of Databases
Victor Vianu and Serge Abiteboul and Richard Hull
1995 ; N/A (Manuscript)

The REACH Active OODBMS
Alin Deutsch and Jurgen Zimmermann and Alejandro Buchmann and M. Higa
1995 ; SIGMOD

A Logical Framework for Active Rules
Bertram Ludascher and Georg Lausen and Ulrich Hamann
1995 ; COMAD

Semantics and Expressiveness Issues in Active Databases
Victor Vianu and Philippe Picouet
1995 ; PODS

A Probabilistic View of Datalog Parallelization
Victor Vianu and Sergio Lifschitz
1995 ; ICDT

A Query Translation Scheme for Rapid Implementation of Wrappers
Yannis Papakonstantinou and Ashish Gupta and Hector Garcia-Molina and Jeffrey Ullman
1995 ; DOOD
Link to paper

The TSIMMIS Approach to Mediation: Data Models and Languages
Yannis Papakonstantinou and Hector Garcia-Molina and Dallan Quass and Anand Rajaraman and Yehoshua Sagiv and Jeffrey Ullman and Jennifer Widom
1995 ; NGITS
Link to paper

Information Translation, Mediation, and Mosaic-Based Browsing in the TSIMMIS System
Yannis Papakonstantinou and Hector Garcia-Molina and Jeffrey Ullman and Jennifer Widom and Joachim Hammer and Kelly Ireland
1995 ; SIGMOD
Link to paper

Object Exchange Across Heterogeneous Information Sources
Yannis Papakonstantinou and Hector Garcia-Molina and Jennifer Widom
1995 ; ICDE
Link to paper

Zustandsorientierte Beschreibung von Updates in deduktiven Datenbanken
Bertram Ludascher and Ulrich Hamann
1995 ; GvD

The Power of Reflective Relational Machines
Victor Vianu and Serge Abiteboul and Christos Papadimitriou
1994 ; LICS

The TSIMMIS Project: Integration of Heterogeneous Information Sources
Yannis Papakonstantinou and Hector Garcia-Molina and Jeffrey Ullman and Jennifer Widom and Sudarshan Chawathe and Joachim Hammer and Kelly Ireland
1994 ; IPSJ
Link to paper

Updates by Reasoning about States
Bertram Ludascher and Georg Lausen
1994 ; East/West Database Workshop

Database Method Schemas and Object Creation
Victor Vianu and Karl Denninghoff
1993 ; PODS

Computing on Structures
Victor Vianu and Serge Abiteboul
1993 ; ICALP

Conceptual Level Concurrency Control of Relational Update Transactions
Victor Vianu and Gottfried Vossen
1992 ; TCS

Towards First-order Deduction Based on Shannon Graphs
Bertram Ludascher and Joachim Posegga
1992 ; GWAI

Expressive Power of Query Languages
Victor Vianu and Serge Abiteboul
1992 ; Theoretical Studies in Computer Science

Queries Are Easier Than You Thought (Probably)
Victor Vianu and Serge Abiteboul and Kevin Compton
1992 ; PODS

Fixpoint Logics, Relational Machines, and Computational Complexity
Victor Vianu and Serge Abiteboul and Moshe Vardi
1992 ; CoCo

Computing with Infinitary Logic
Victor Vianu and Serge Abiteboul and Moshe Vardi
1992 ; ICDT

Non-Determinism in Logic-Based Languages
Victor Vianu and Serge Abiteboul
1991 ; Annals of Mathematics and Artificial Intelligence

Datalog Extensions for Database Queries and Updates
Victor Vianu and Serge Abiteboul
1991 ; JCSS

The Power of Methods With Parallel Semantics
Victor Vianu and Karl Denninghoff
1991 ; VLDB

Generic Computation and Its Complexity
Victor Vianu and Serge Abiteboul
1991 ; STOC

Tractable Query Languages for Complex Object Databases
Victor Vianu and Stephane Grumbach
1991 ; PODS

Expressiveness and Complexity of Restricted Languages for Complex Objects
Victor Vianu and Stephane Grumbach
1991 ; DBPL

Simplification Rules and Complete Axiomatization for Relational Update Transactions
Victor Vianu and Dino Karabeg
1991 ; TODS

Procedural Languages for Database Queries and Updates
Victor Vianu and Serge Abiteboul
1990 ; JCSS

New Hope on Data Models and Types: Report of an NSF-INRIA Workshop
Victor Vianu and Serge Abiteboul and Peter Buneman and Claude Delobel and Richard Hull and Paris Kanellakis
1990 ; SIGMOD Record

Non-Deterministic Languages to Express Deterministic Transformations
Victor Vianu and Serge Abiteboul and Eric Simon
1990 ; PODS

Playing Games with Objects
Victor Vianu and Stephane Grumbach
1990 ; ICDT

Parallel Update Transactions
Victor Vianu and Dino Karabeg
1990 ; TCS

A transaction-based approach to relational database specification
Victor Vianu and Serge Abiteboul
1989 ; JACM

Goal-Oriented Concurrency Control
Victor Vianu and Gottfried Vossen
1989 ; MFDBS

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages
Victor Vianu and Serge Abiteboul
1989 ; LICS

Relational Translations of Semantic Models: A Case Study Based on Iris
Victor Vianu and Peter Lyngb?k
1988 ; IEEE Data Engineering Bulletin

Equivalence and optimization of relational transactions
Victor Vianu and Serge Abiteboul
1988 ; JACM

Parallel Update Transactions (Extended Abstract)
Victor Vianu and Dino Karabeg
1988 ; ICDT

Conceptual Level Concurrency Control of Relational Update Transactions
Victor Vianu and Gottfried Vossen
1988 ; ICDT

Procedural and Declarative Database Update Languages
Victor Vianu and Serge Abiteboul
1988 ; PODS

The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications
Victor Vianu and Serge Abiteboul
1988 ; JCDKB

A Dynamic Framework for Object Projection Views
Victor Vianu
1988 ; TODS

Axiomatization and Simplification Rules for Relational Transactions
Victor Vianu and Dino Karabeg and Almira Karabeg and Kostoula Papakonstantinou
1987 ; PODS

Mapping a Semantic Database Model to the Relational Model
Victor Vianu and Peter Lyngb?k
1987 ; SIGMOD

A Transcation Language Complete for Database Update and Specification
Victor Vianu and Serge Abiteboul
1987 ; PODS

Database Survivability Under Dynamic Constraints
Victor Vianu
1987 ; Acta Informatica

Dynamic functional dependencies and database aging
Victor Vianu
1987 ; JACM

Deciding Properties of Transactional Schemas
Victor Vianu and Serge Abiteboul
1986 ; PODS

Transactions and Integrity Constraints
Victor Vianu and Serge Abiteboul
1985 ; PODS

Object Projection Views in the Dynamic Relational Model
Victor Vianu
1984 ; PODS

Transactions in Relational Databases (Preliminary Report)
Victor Vianu and Serge Abiteboul
1984 ; VLDB

Dynamic Constraints and Database Evolution
Victor Vianu
1983 ; PODS

Tableaux which Define Expression Mappings
Victor Vianu and Tim Connors
1981 ; XP1 Workshop on Database Theory

The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space
Victor Vianu
1977 ; MFCS