Publications

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


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


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