The DOI matches its Crossref record, with a small difference in title or year; 37 of the 40 references it cites were found in a registry or an index.
Data exchange: semantics and query answering
Open accessOverview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The cited source says what the claim attributes to it.
In the citing paper
“Data exchange research [12] addresses cross-boundary consistency but not privacy-preserving forgetting over an evolving state trajectory.”
From Is Agent Memory a Database? Rethinking Data Foundations for Long-Term AI Agent Memory (2026) · cites this paper as [12]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Data integration: a theoretical perspective
Maurizio Lenzerini, B. (2002) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/543613.543644 · Cited by 2,578
The complexity of satisfiability problems
Schaefer, T. J. (1978) · Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 · doi:10.1145/800133.804350 · Cited by 1,737
Answering queries using views: A survey
Halevy, A. Y. (2001) · The VLDB Journal · doi:10.1007/s007780100054 · Cited by 1,510
Optimal implementation of conjunctive queries in relational data bases
Chandra, A. K., & Merlin, P. M. (1977) · Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77 · doi:10.1145/800105.803397 · Cited by 1,224
The complexity of relational query languages (Extended Abstract)
Vardi, M. Y. (1982) · Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 · doi:10.1145/800070.802186 · Cited by 1,184
Testing implications of data dependencies
Maier, D., Mendelzon, A. O., & Sagiv, Y. (1979) · ACM Transactions on Database Systems · doi:10.1145/320107.320115 · Cited by 582
Levy, A. Y., Mendelzon, A. O., Sagiv, Y., & Srivastava, D. (1999) · The MIT Press eBooks · doi:10.7551/mitpress/4472.003.0012 · Cited by 538
Complexity of answering queries using materialized views
Abiteboul, S., & Duschka, O. M. (1998) · Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems · doi:10.1145/275487.275516 · Cited by 483
Popa, L., Velegrakis, Y., Miller, R. J., Hernández, M. A., & Fagin, R. (2002) · VLDB '02: Proceedings of the 28th International Conference on Very Large Databases · doi:10.1016/b978-155860869-6/50059-7 · Cited by 444
Self-citationSchema Mapping as Query Discovery
Miller, R. J., Haas, L. M., & Hernández, M. A. (2000) · Very Large Data Bases · Cited by 438
Self-citation
Cited by
Items 301–400 of 1,001
Generalized consistent query answering under existential rules
Eiter, T., Lukasiewicz, T., & Predoiu, L. (2016) · Oxford University Research Archive (ORA) (University of Oxford) · Cited by 24
EIRENE: interactive design and refinement of schema mappings via data examples
Alexe, B., ten Cate, B., Kolaitis, P. G., & Tan, W.-C. (2011) · Proceedings of the VLDB Endowment · doi:10.14778/3402755.3402784 · Cited by 24
Self-citationData wrangling for big data: towards a lingua franca for data wrangling
Furche, T., Gottlob, G., Neumayr, B., & Sallinger, E. (2016) · Oxford University Research Archive (ORA) (University of Oxford) · Cited by 24
On the Data Complexity of Consistent Query Answering
ten Cate, B., Fontaine, G., & Kolaitis, P. G. (2014) · Theory of Computing Systems · doi:10.1007/s00224-014-9586-0 · Cited by 24
Self-citationSchema Matching Using Interattribute Dependencies
Kang, J., & Naughton, J. F. (2008) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2008.100 · Cited by 24
Cooperative update exchange in the Youtopia system
Kot, Ł., & Koch, C. E. (2009) · Proceedings of the VLDB Endowment · doi:10.14778/1687627.1687650 · Cited by 24
A Formal Model of Data Privacy
Stouppa, P., & Studer, T. (2007) · Springer eBooks · doi:10.1007/978-3-540-70881-0_34 · Cited by 24
SHACL Constraints with Inference Rules
Pareti, P., Konstantinidis, G., Norman, T. J., & Şensoy, M. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-30793-6_31 · Cited by 23
The language of plain SO-tgds: Composition, inversion and structural properties
Arenas, M., Pérez, J. E. P., Reutter, J. L., & Riveros, C. (2013) · Journal of Computer and System Sciences · doi:10.1016/j.jcss.2013.01.002 · Cited by 23
Integration Workbench: Integrating Schema Integration Tools
Peter Mork, B., Rosenthal, A. S., Korb, J., & Samuel, K. (2006) · IEEE International Conference on Data Engineering Workshops (ICDEW) · doi:10.1109/icdew.2006.69 · Cited by 23
Core schema mappings: Scalable core computations in data exchange
Mecca, G., Papotti, P., & Raunich, S. (2012) · Information Systems · doi:10.1016/j.is.2012.03.004 · Cited by 22
Biskup, J., & Wiese, L. (2011) · Theoretical Computer Science · doi:10.1016/j.tcs.2011.04.026 · Cited by 22
Ontological Query Answering via Rewriting
Gottlob, G., Orsi, G., & Pieris, A. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23737-9_1 · Cited by 22
MapMerge: correlating independent schema mappings
Alexe, B., Hernández, M. A., Popa, L. C., & Tan, W.-C. (2010) · Proceedings of the VLDB Endowment · doi:10.14778/1920841.1920857 · Cited by 22
Self-citationStatic analysis of schema-mappings ensuring oblivious termination
Marnette, B., & Geerts, F. (2010) · International Conference on Database Theory · doi:10.1145/1804669.1804694 · Cited by 22
Green, T. J., Karvounarakis, G., Ives, Z. G., & Tannen, V. (2010) · ScholarlyCommons (University of Pennsylvania) · Cited by 22
Benchmarking the Performance of Linked Data Translation Systems
Rivero, C. R., Schultz, A., Bizer, C., & Ruiz, D. (2012) · Deposito de Investigacion Universidad de Sevilla (University of Seville) · Cited by 22
Semantic Acyclicity Under Constraints
Barceló, P., Gottlob, G., & Pieris, A. (2016) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/2902251.2902302 · Cited by 22
Brown, P., & Link, S. (2016) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2016.2633342 · Cited by 22
Data Privacy for $\mathcal{ALC}$ Knowledge Bases
Stouppa, P., & Studer, T. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-92687-0_28 · Cited by 22
Caching and Replication in Mobile Data Management.
Foster, J. N., & Karvounarakis, G. (2007) · IEEE Data(base) Engineering Bulletin · Cited by 22
Data exchange and schema mappings in open and closed worlds
Libkin, L. O., & Sirangelo, C. (2010) · Journal of Computer and System Sciences · doi:10.1016/j.jcss.2010.04.010 · Cited by 22
Reverse data exchange: Coping with nulls
Fagin, R., Kolaitis, P. G., Popa, L. C., & Tan, W.-C. (2011) · ACM Transactions on Database Systems · doi:10.1145/1966385.1966389 · Cited by 22
Self-citationConjunctive Query Answering in Probabilistic Datalog+/– Ontologies
Gottlob, G., Lukasiewicz, T., & Simari, G. I. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23580-1_7 · Cited by 21
VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES
Giacomo, G. D., Masellis, R. D., & Rosati, R. (2012) · International Journal of Cooperative Information Systems · doi:10.1142/s0218843012500025 · Cited by 21
Conjunctive Artifact-Centric Services
Cangialosi, P., Giacomo, G. D., Masellis, R. D., & Rosati, R. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-17358-5_22 · Cited by 21
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries
Arenas, M., Barceló, P., & Reutter, J. L. (2010) · Theory of Computing Systems · doi:10.1007/s00224-010-9259-6 · Cited by 21
Fast Query Answering over Existential Rules
Leone, N., Manna, M., Terracina, G., & Veltri, P. (2019) · ACM Transactions on Computational Logic · doi:10.1145/3308448 · Cited by 21
The complexity of evaluating tuple generating dependencies
Pichler, R., & Skritek, S. (2011) · International Conference on Database Theory · doi:10.1145/1938551.1938583 · Cited by 21
Rewriting Queries Using Views with Access Patterns Under Integrity Constraints
Deutsch, A., Ludäscher, B., & Nash, A. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30570-5_24 · Cited by 21
Benedikt, M., ten Cate, B., & Tsamoura, E. (2016) · ACM Transactions on Database Systems · doi:10.1145/2847523 · Cited by 21
Constraints of the PROV Data Model
Nies, T. D. (2013) · ePrints Soton (University of Southampton) · Cited by 21
Ontology and Schema Evolution in Data Integration: Review and Assessment
Kondylakis, H., Flouris, G., & Plexousakis, D. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-05151-7_14 · Cited by 21
Weakly-coupled ontology integration of P2P database systems.
Majkić, Z. (2004) · Cited by 21
THE CODB ROBUST PEER-TO-PEER DATABASE SYSTEM
Franconi, E., Kuper, G. M., Lopatenko, A., & Zaihrayeu, I. (2004) · Unitn Eprints Research (Università Degli Studi di Trento) · Cited by 21
Why is it Hard to Obtain a Dichotomy for Consistent Query Answering?
Fontaine, G. (2013) · ACM/IEEE Symposium on Logic in Computer Science (LICS) · doi:10.1109/lics.2013.62 · Cited by 20
Query Answering under Expressive Entity-Relationship Schemata
Calì, A., Gottlob, G., & Pieris, A. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-16373-9_25 · Cited by 20
Validation of mappings between schemas
Rull, G., Farré, C., Teniente, E., & Urpí, T. (2008) · Data & Knowledge Engineering · doi:10.1016/j.datak.2008.04.009 · Cited by 20
Supporting Data Integration Tasks with Semi-Automatic Ontology Construction
Touma, R., Romero, O., & Jovanović, P. (2015) · doi:10.1145/2811222.2811228 · Cited by 20
The Data Complexity of Description Logic Ontologies
Lutz, C., & Wolter, F. (2017) · Logical Methods in Computer Science · doi:10.23638/lmcs-13(4:7)2017 · Cited by 20
Ontological Multidimensional Data Models and Contextual Data Quality
Bertossi, L., & Milani, M. (2017) · Journal of Data and Information Quality · doi:10.1145/3148239 · Cited by 20
DANCE: Data Cleaning with Constraints and Experts
Assadi, A., Milo, T., & Novgorodov, S. (2017) · IEEE International Conference on Data Engineering (ICDE) · doi:10.1109/icde.2017.199 · Cited by 20
Efficient Model Construction for Horn Logic with VLog: System Description
Urbani, J., Krötzsch, M., Jacobs, C. J. H., Dragoste, I., & Carral, D. (2018) · Lecture notes in computer science · doi:10.1007/978-3-319-94205-6_44 · Cited by 20
Explanations for Query Answers under Existential Rules
Ceylan, İ. İ., Lukasiewicz, T., Malizia, E., & Vaicenavičius, A. (2019) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2019/227 · Cited by 20
Materializing knowledge bases via trigger graphs
Tsamoura, E., Carral, D., Malizia, E., & Urbani, J. (2021) · Proceedings of the VLDB Endowment · doi:10.14778/3447689.3447699 · Cited by 20
A Knowledge Graph-Based Data Integration Framework Applied to Battery Data Management
Kalaycı, T. E., Bricelj, B., Lah, M., Pichler, F., Scharrer, M. K., & Rubeša-Zrim, J. (2021) · Sustainability · doi:10.3390/su13031583 · Cited by 20
Mecca, G., Rull, G., Santoro, D., & Teniente, E. (2015) · Data & Knowledge Engineering · doi:10.1016/j.datak.2015.07.003 · Cited by 20
On the undecidability of the equivalence of second-order tuple generating dependencies
Feinerer, I., Pichler, R., Sallinger, E., & Savenkov, V. (2014) · Information Systems · doi:10.1016/j.is.2014.09.003 · Cited by 20
Query languages for data exchange: beyond unions of conjunctive queries
Arenas, M., Barceló, P., & Reutter, J. L. (2009) · International Conference on Database Theory · doi:10.1145/1514894.1514904 · Cited by 20
Czarnecki, K., Foster, J. N., Hu, Z., & Terwilliger, J. F. (2009) · Cited by 20
Greco, S., & Molinaro, C. (2016) · Synthesis lectures on data management · doi:10.1007/978-3-031-01854-1 · Cited by 20
Schema matching over relations, attributes, and data values
Tian, A., Kejriwal, M., & Miranker, D. P. (2014) · International Conference on Scientific and Statistical Database Management · doi:10.1145/2618243.2618248 · Cited by 19
Modelling Structured Domains Using Description Graphs and Logic Programming
Magka, D., Motik, B., & Horrocks, I. R. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-30284-8_29 · Cited by 19
Combining decidability paradigms for existential rules
Gottlob, G., Manna, M., & Pieris, A. (2013) · Theory and Practice of Logic Programming · doi:10.1017/s1471068413000550 · Cited by 19
Spoth, W., Arab, B. S., Chan, E. S. W., Gawlick, D., Ghoneimy, A., Glavic, B., Hammerschmidt, B. C., Kennedy, O. A., Lee, S., Liu, Z. H., et al. (2017) · Conference on Innovative Data Systems Research · Cited by 19
Schultz, P., & Wisnesky, R. J. (2017) · Journal of Functional Programming · doi:10.1017/s0956796817000168 · Cited by 19
On the data complexity of consistent query answering over graph databases
Barceló, P., & Fontaine, G. (2017) · Journal of Computer and System Sciences · doi:10.1016/j.jcss.2017.03.015 · Cited by 19
Bergamaschi, S., Beneventano, D., Guerra, F., & Orsini, M. (2011) · Springer eBooks · doi:10.1007/978-3-642-15865-0_14 · Cited by 19
Datalog and Its Extensions for Semantic Web Databases
Gottlob, G., Orsi, G., Pieris, A., & Šimkus, M. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-33158-9_2 · Cited by 19
A runtime approach to model-independent schema and data translation
Atzeni, P., Bellomarini, L., Bugiotti, F., & Gianforme, G. (2009) · International Conference on Extending Database Technology (EDBT) · doi:10.1145/1516360.1516393 · Cited by 19
Datalog+/-: A Family of Languages for Ontology Querying
Calì, A., Gottlob, G., Lukasiewicz, T., & Pieris, A. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-24206-9_20 · Cited by 19
A Probabilistic, Logic-Based Framework for Automated Web Directory Alignment
Nottelmann, H., & Straccia, U. (2006) · Studies in fuzziness and soft computing · doi:10.1007/978-3-540-33473-6_3 · Cited by 19
Existential Rule Languages with Finite Chase: Complexity and Expressiveness
Zhang, H., Zhang, Y., & You, J.-H. (2015) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v29i1.9404 · Cited by 19
Benchmarking Data Exchange among Semantic-Web Ontologies
Rivero, C. R., Hernández, I., Ruiz, D., & Corchuelo, R. (2012) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2012.175 · Cited by 19
Extended Semantic Annotations for Generating Translators in the Arrowhead Framework
Moutinho, F., Paiva, L., Köpke, J., & Maló, P. (2017) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2017.2780887 · Cited by 19
A Framework for Fine-grained Data Integration and Curation, with Provenance, in a Dataspace
Archer, D. W., Delcambre, L., & Maier, D. (2009) · Cited by 19
Discovery and Correctness of Schema Mapping Transformations
Bonifati, A., Mecca, G., Papotti, P., & Velegrakis, Y. (2010) · Springer eBooks · doi:10.1007/978-3-642-16518-4_5 · Cited by 19
Diskin, Z., & Juergen Dingel, A. (2006) · Cited by 19
Foundations of ontology-based data access under bag semantics
Nikolaou, C., Kostylev, E. V., Konstantinidis, G., Kaminski, M., Grau, B. C., & Horrocks, I. R. (2019) · Artificial Intelligence · doi:10.1016/j.artint.2019.02.003 · Cited by 18
On the tradeoff between mapping and querying power in XML data exchange
Amano, S., David, C., Libkin, L. O., & Murlak, F. (2010) · International Conference on Database Theory · doi:10.1145/1804669.1804689 · Cited by 18
Functional Dependencies Unleashed for Scalable Data Exchange
Bonifati, A., Ileana, I., & Linardi, M. (2016) · International Conference on Scientific and Statistical Database Management · doi:10.1145/2949689.2949698 · Cited by 18
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-
Lukasiewicz, T., Malizia, E., & Molinaro, C. (2018) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2018/265 · Cited by 18
A retrospective on Telos as a metamodeling language for requirements engineering
Koubarakis, M., Borgida, A. T., Constantopoulos, P., Doerr, M., Jarke, M., Jeusfeld, M. A., Mylopoulos, J., & Plexousakis, D. (2020) · Requirements Engineering · doi:10.1007/s00766-020-00329-x · Cited by 18
Explanations for Data Repair Through Shapley Values
Deutch, D., Frost, N., Gilad, A., & Sheffer, O. (2021) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/3459637.3482341 · Cited by 18
Dou, D., Qin, H., & LePendu, P. (2010) · International Journal of Semantic Computing · doi:10.1142/s1793351x10000961 · Cited by 18
Tractable query answering over ontologies with datalog
Calì, A., Gottlob, G., & Lukasiewicz, T. (2009) · BIROn (Birkbeck, University of London) · Cited by 18
de Rougemont, M., & Vieilleribière, A. (2006) · Lecture notes in computer science · doi:10.1007/11965893_4 · Cited by 18
Bidirectional Mappings for Data and Update Exchange
Karvounarakis, G., & Ives, Z. G. (2008) · Cited by 18
Reasoning in Data Integration Systems: Why LAV and GAV Are Siblings
Calì, A. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-39592-8_79 · Cited by 18
Perm: efficient provenance support for relational databases
Glavic, B. (2010) · Zurich Open Repository and Archive (University of Zurich) · doi:10.5167/uzh-44573 · Cited by 18
Foundations of SPARQL Query OptimizationPreprint
Schmidt, M. F., Meier, M., & Lausen, G. (2008) · arXiv (Cornell University) · doi:10.48550/arxiv.0812.3788 · Cited by 18
Current and Future Challenges in Knowledge Representation and ReasoningPreprint
Delgrande, J. P., Glimm, B., Meyer, T., Truszczyński, M., & Wolter, F. (2023) · arXiv (Cornell University) · doi:10.4230/dagman.10.1.1 · Cited by 18
Bonifati, A., Murlak, F., & Ramusat, Y. (2024) · Proceedings of the VLDB Endowment · doi:10.14778/3681954.3681972 · Cited by 17
Greco, S., Molinaro, C., & Trubitsyna, I. (2013) · Theory and Practice of Logic Programming · doi:10.1017/s147106841300046x · Cited by 17
Improving data quality by source analysis
Müller, H., Freytag, J.-C., & Leser, U. (2012) · Journal of Data and Information Quality · doi:10.1145/2107536.2107538 · Cited by 17
Calvanese, D., Giacomo, G. D., Maurizio Lenzerini, B., & Vardi, M. Y. (2011) · International Conference on Database Theory · doi:10.1145/1938551.1938568 · Cited by 17
Efficient Entity Resolution on Heterogeneous Records
Lin, Y., Wang, H., Li, J., & Gao, H. (2019) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2019.2898191 · Cited by 17
Cleaning Data with Constraints and Experts
Assadi, A., Milo, T., & Novgorodov, S. (2018) · doi:10.1145/3201463.3201464 · Cited by 17
Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice
Bellomarini, L., Fayzrakhmanov, R. R., Gottlob, G., Kravchenko, A., Laurenza, E., Nenov, Y., Reissfelder, S., Sallinger, E., Sherkhonov, E., Vahdati, S., et al. (2021) · Future Generation Computer Systems · doi:10.1016/j.future.2021.10.021 · Cited by 17
Datalog+/-: questions and answers
Gottlob, G., Lukasiewicz, T., & Pieris, A. (2014) · Edinburgh Research Explorer (University of Edinburgh) · Cited by 17
DEMo: data exchange modeling tool
Pichler, R., & Savenkov, V. (2009) · Proceedings of the VLDB Endowment · doi:10.14778/1687553.1687603 · Cited by 17
Data exchange with arithmetic operations
ten Cate, B., Kolaitis, P. G., & Othman, W. (2013) · International Conference on Extending Database Technology (EDBT) · doi:10.1145/2452376.2452439 · Cited by 17
Self-citationSchema exchange: Generic mappings for transforming data and metadata
Papotti, P., & Torlone, R. (2009) · Data & Knowledge Engineering · doi:10.1016/j.datak.2009.02.005 · Cited by 17
Answering non-monotonic queries in relational data exchange
Hernich, A. (2010) · International Conference on Database Theory · doi:10.1145/1804669.1804688 · Cited by 17
On keys, foreign keys and nullable attributes in relational mapping systems
Cabibbo, L. (2009) · International Conference on Extending Database Technology (EDBT) · doi:10.1145/1516360.1516392 · Cited by 17
Towards practical feasibility of core computation in data exchange
Pichler, R., & Savenkov, V. (2009) · Theoretical Computer Science · doi:10.1016/j.tcs.2009.09.035 · Cited by 17
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2017) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/3034786.3056108 · Cited by 17
Schema Mappings for Data Graphs
Francis, N., & Libkin, L. O. (2017) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/3034786.3056113 · Cited by 17
Graph-Based Ontology Classification in OWL 2 QL
Lembo, D., Santarelli, V., & Savo, D. F. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-38288-8_22 · Cited by 17
Inconsistency-tolerant query answering for existential rules
Lukasiewicz, T., Malizia, E., Martínez, M. V., Molinaro, C., Pieris, A., & Simari, G. I. (2022) · Artificial Intelligence · doi:10.1016/j.artint.2022.103685 · Cited by 17
Metadata
- Authors
- Fagin, R., Kolaitis, P. G., Miller, R. J., & Popa, L.
- Affiliations
- IBM Research - Almaden (US)
- University of California, Santa Cruz (US)
- University of Toronto (CA)
- Corresponding author
- Popa, Lucian
- Venue
- Theoretical Computer Science
- Publisher
- Elsevier BV
- Published
- 2005-05
- Volume
- 336
- Issue
- 1
- Pages
- 89-124
- ISSN
- 0304-3975 (ISSN-L)
- OpenAlex
- W2102729564
- Cited by
- 1,206
- References
- 40
- Citations by year
- 2026: 5 · 2025: 13 · 2024: 10 · 2023: 41 · 2022: 32 · 2021: 32 · 2020: 53 · 2019: 59 · 2018: 57 · 2017: 69 · 2016: 58 · 2015: 63 · 2014: 80 · 2013: 101 · 2012: 95
- FWCI
- 51.62
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Licence
- www.elsevier.com/tdm/userlicense/1.0/ (tdm)
- www.elsevier.com/open-access/userlicense/1.0/ (vor, 3035 d)
- Locations
- Theoretical Computer Science (publishedVersion)
- Funders
- National Science Foundation (9907419)
- Natural Sciences and Engineering Research Council of Canada
- Topics
- Physical Sciences › Computer Science › Information Systems › Advanced Database Systems and Queries
- Physical Sciences › Computer Science › Artificial Intelligence › Semantic Web and Ontologies
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Keywords
- data exchange, query answering, universal solutions, algebraic specification, certain answers, canonical solutions, computational complexity, schema mapping
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.