×

zbMATH — the first resource for mathematics

Abiteboul, Serge

Compute Distance To:
Author ID: abiteboul.serge Recent zbMATH articles by "Abiteboul, Serge"
Published as: Abiteboul, Serge; Abiteboul, S.
Homepage: https://ens-paris-saclay.fr/en/school/distinctions/serge-abiteboul
External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr
Documents Indexed: 53 Publications since 1984, including 8 Books

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 434 times in 339 Documents Cited by Year
Foundations of databases. Zbl 0848.68031
Abiteboul, Serge; Hill, Richard; Vianu, Victor
130
1995
Datalog extensions for database queries and updates. Zbl 0764.68158
Abiteboul, Serge; Vianu, Victor
46
1991
On the representation and querying of sets of possible worlds. Zbl 0741.68039
Abiteboul, Serge; Kanellakis, Paris; Grahne, Gösta
24
1991
Fixpoint extensions of first-order logic and datalog-like languages. Zbl 0716.68020
Abiteboul, Serge; Vianu, Victor
23
1989
Procedural languages for database queries and updates. Zbl 0715.68019
Abiteboul, Serge; Vianu, Victor
20
1990
Regular path queries with constraints. Zbl 0939.68025
Abiteboul, Serge; Vianu, Victor
17
1999
Fixpoint logics, relational machines, and computational complexity. Zbl 0883.68070
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor.
16
1997
Computing with first-order logic. Zbl 0827.68036
Abiteboul, Serge; Vianu, Victor
16
1995
Object identity as a query language primitive. Zbl 1065.68522
Abiteboul, Serge; Kanellakis, Paris C.
14
1998
Compact labeling schemes for ancestor queries. (Extended abstract). Zbl 1012.90046
Abiteboul, Serge; Kaplan, Haim; Milo, Tova
14
2001
Non first normal form relations: An algebra allowing data restructuring. Zbl 0625.68074
Abiteboul, Serge; Bidoit, Nicole
13
1986
Relational transducers for electronic commerce. Zbl 0963.68057
Abiteboul, Serge; Vianu, Victor; Fordham, Brad; Yesha, Yelena
9
2000
Updates, a new frontier. Zbl 0707.68028
Abiteboul, Serge
9
1988
Equivalence and optimization of relational transactions. Zbl 0637.68110
Abiteboul, Serge; Vianu, Victor
8
1988
Compact labeling scheme for ancestor queries. Zbl 1101.68103
Abiteboul, Serge; Alstrup, Stephen; Kaplan, Haim; Milo, Tova; Rauhe, Theis
7
2006
A transaction-based approach to relational database specification. Zbl 0698.68089
Abiteboul, Serge; Vianu, Victor
7
1989
Non-determinism in logic-based languages. Zbl 0875.68586
Abiteboul, Serge; Vianu, Victor
6
1991
Computing with infinitary logic. Zbl 0874.68274
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor
6
1995
Expressive power of query languages. Zbl 0766.68026
Abiteboul, Serge; Vianu, Victor
5
1992
Fundamental properties of deterministic and nondeterministic extensions of Datalog. Zbl 0722.68032
Abiteboul, Serge; Simon, Eric
5
1991
Reasoning about XML update constraints. Zbl 1192.68171
Cautis, Bogdan; Abiteboul, Serge; Milo, Tova
5
2009
Bases de données et objets structurés. (Databases and structured objects). Zbl 0639.68116
Abiteboul, Serge; Grumbach, Stéphane
4
1987
Boundedness is undecidable for datalog programs with a single recursive rule. Zbl 0677.68103
Abiteboul, Serge
4
1989
Reflective relational machines. Zbl 0918.68017
Abiteboul, Serge; Papadimitriou, Christos H.; Vianu, V.
3
1998
Restructuring hierarchical database objects. Zbl 0658.68117
Abiteboul, Serge; Hull, Richard
3
1988
Highly expressive query languages for unordered data trees. Zbl 1352.68075
Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor
3
2015
Correspondence and translation for heterogeneous data. Zbl 1026.68034
Abiteboul, Serge; Cluet, Sophie; Milo, Tova
2
2002
Temporal connectives versus explicit timestamps to query temporal databases. Zbl 0943.68052
Abiteboul, Serge; Herr, Laurent; Van den Bussche, Jan
2
1999
Method schemas. Zbl 1294.68070
Abiteboul, Serge; Kanellakis, Paris; Ramaswamy, Sridhar; Waller, Emmanuel
2
1995
Nested relations and complex objects in databases. Zbl 0712.68004
Abiteboul, Serge (ed.); Fischer, Patrick C. (ed.); Schek, Hans-Jörg (ed.)
2
1989
Queries and computation on the web. Zbl 0945.68046
Abiteboul, Serge; Vianu, V.
1
2000
Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Zbl 0844.00024
Abiteboul, Serge (ed.); Shamir, Eli (ed.)
1
1994
XML data integration with identification. Zbl 1159.68427
Poggi, Antonella; Abiteboul, Serge
1
2005
Ozone: Integrating structured and semistructured data. Zbl 1044.68582
Lahiri, Tirthankar; Abiteboul, Serge; Widom, Jennifer
1
2000
Distributed XML design. Zbl 1246.68066
Abiteboul, S.; Gottlob, G.; Manna, M.
1
2011
Restructuring of complex objects and office forms. Zbl 0643.68161
Abiteboul, Serge; Hull, Richard
1
1986
Computing on structures. Zbl 1418.68087
Abiteboul, Serge; Vianu, Victor
1
1993
On the equivalence of distributed systems with queries and communication. Zbl 1358.68035
Abiteboul, Serge; ten Cate, Balder; Katsis, Yannis
1
2013
Optimal probabilistic generation of XML documents. Zbl 1352.68074
Abiteboul, Serge; Amsterdamer, Yael; Deutch, Daniel; Milo, Tova; Senellart, P.
1
2015
Highly expressive query languages for unordered data trees. Zbl 1352.68075
Abiteboul, Serge; Bourhis, Pierre; Vianu, Victor
3
2015
Optimal probabilistic generation of XML documents. Zbl 1352.68074
Abiteboul, Serge; Amsterdamer, Yael; Deutch, Daniel; Milo, Tova; Senellart, P.
1
2015
On the equivalence of distributed systems with queries and communication. Zbl 1358.68035
Abiteboul, Serge; ten Cate, Balder; Katsis, Yannis
1
2013
Distributed XML design. Zbl 1246.68066
Abiteboul, S.; Gottlob, G.; Manna, M.
1
2011
Reasoning about XML update constraints. Zbl 1192.68171
Cautis, Bogdan; Abiteboul, Serge; Milo, Tova
5
2009
Compact labeling scheme for ancestor queries. Zbl 1101.68103
Abiteboul, Serge; Alstrup, Stephen; Kaplan, Haim; Milo, Tova; Rauhe, Theis
7
2006
XML data integration with identification. Zbl 1159.68427
Poggi, Antonella; Abiteboul, Serge
1
2005
Correspondence and translation for heterogeneous data. Zbl 1026.68034
Abiteboul, Serge; Cluet, Sophie; Milo, Tova
2
2002
Compact labeling schemes for ancestor queries. (Extended abstract). Zbl 1012.90046
Abiteboul, Serge; Kaplan, Haim; Milo, Tova
14
2001
Relational transducers for electronic commerce. Zbl 0963.68057
Abiteboul, Serge; Vianu, Victor; Fordham, Brad; Yesha, Yelena
9
2000
Queries and computation on the web. Zbl 0945.68046
Abiteboul, Serge; Vianu, V.
1
2000
Ozone: Integrating structured and semistructured data. Zbl 1044.68582
Lahiri, Tirthankar; Abiteboul, Serge; Widom, Jennifer
1
2000
Regular path queries with constraints. Zbl 0939.68025
Abiteboul, Serge; Vianu, Victor
17
1999
Temporal connectives versus explicit timestamps to query temporal databases. Zbl 0943.68052
Abiteboul, Serge; Herr, Laurent; Van den Bussche, Jan
2
1999
Object identity as a query language primitive. Zbl 1065.68522
Abiteboul, Serge; Kanellakis, Paris C.
14
1998
Reflective relational machines. Zbl 0918.68017
Abiteboul, Serge; Papadimitriou, Christos H.; Vianu, V.
3
1998
Fixpoint logics, relational machines, and computational complexity. Zbl 0883.68070
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor.
16
1997
Foundations of databases. Zbl 0848.68031
Abiteboul, Serge; Hill, Richard; Vianu, Victor
130
1995
Computing with first-order logic. Zbl 0827.68036
Abiteboul, Serge; Vianu, Victor
16
1995
Computing with infinitary logic. Zbl 0874.68274
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor
6
1995
Method schemas. Zbl 1294.68070
Abiteboul, Serge; Kanellakis, Paris; Ramaswamy, Sridhar; Waller, Emmanuel
2
1995
Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Zbl 0844.00024
Abiteboul, Serge; Shamir, Eli
1
1994
Computing on structures. Zbl 1418.68087
Abiteboul, Serge; Vianu, Victor
1
1993
Expressive power of query languages. Zbl 0766.68026
Abiteboul, Serge; Vianu, Victor
5
1992
Datalog extensions for database queries and updates. Zbl 0764.68158
Abiteboul, Serge; Vianu, Victor
46
1991
On the representation and querying of sets of possible worlds. Zbl 0741.68039
Abiteboul, Serge; Kanellakis, Paris; Grahne, Gösta
24
1991
Non-determinism in logic-based languages. Zbl 0875.68586
Abiteboul, Serge; Vianu, Victor
6
1991
Fundamental properties of deterministic and nondeterministic extensions of Datalog. Zbl 0722.68032
Abiteboul, Serge; Simon, Eric
5
1991
Procedural languages for database queries and updates. Zbl 0715.68019
Abiteboul, Serge; Vianu, Victor
20
1990
Fixpoint extensions of first-order logic and datalog-like languages. Zbl 0716.68020
Abiteboul, Serge; Vianu, Victor
23
1989
A transaction-based approach to relational database specification. Zbl 0698.68089
Abiteboul, Serge; Vianu, Victor
7
1989
Boundedness is undecidable for datalog programs with a single recursive rule. Zbl 0677.68103
Abiteboul, Serge
4
1989
Nested relations and complex objects in databases. Zbl 0712.68004
Abiteboul, Serge; Fischer, Patrick C.; Schek, Hans-Jörg
2
1989
Updates, a new frontier. Zbl 0707.68028
Abiteboul, Serge
9
1988
Equivalence and optimization of relational transactions. Zbl 0637.68110
Abiteboul, Serge; Vianu, Victor
8
1988
Restructuring hierarchical database objects. Zbl 0658.68117
Abiteboul, Serge; Hull, Richard
3
1988
Bases de données et objets structurés. (Databases and structured objects). Zbl 0639.68116
Abiteboul, Serge; Grumbach, Stéphane
4
1987
Non first normal form relations: An algebra allowing data restructuring. Zbl 0625.68074
Abiteboul, Serge; Bidoit, Nicole
13
1986
Restructuring of complex objects and office forms. Zbl 0643.68161
Abiteboul, Serge; Hull, Richard
1
1986
all top 5

Cited by 508 Authors

20 Van den Bussche, Jan
17 Abiteboul, Serge
16 Vianu, Victor
11 Van Gucht, Dirk
10 Gottlob, Georg
9 Suciu, Dan Mircea
8 Libkin, Leonid O.
8 Pelc, Andrzej
7 Gyssens, Marc
7 Vardi, Moshe Y.
6 Calvanese, Diego
6 Kolaitis, Phokion G.
6 Pieris, Andreas
5 Biskup, Joachim
5 De Giacomo, Giuseppe
5 Grohe, Martin
5 Gurevich, Yuri
5 Korman, Amos
5 Milo, Tova
5 Rosati, Riccardo
5 Turull Torres, Jose Maria
4 Eiter, Thomas
4 Fan, Wenfei
4 Greco, Gianluigi
4 Greco, Sergio
4 Hegner, Stephen J.
4 Link, Sebastian
4 Otto, Martin
4 Papadimitriou, Christos Harilaos
4 Paredaens, Jan
4 Su, Jianwen
4 ten Cate, Balder David
4 Vansummeren, Stijn
3 Ameloot, Tom J.
3 Arenas, Marcelo
3 Barceló, Pablo
3 Benedikt, Michael A.
3 Bidoit, Nicole
3 Bogaerts, Bart
3 Deutsch, Alin
3 Faber, Wolfgang
3 Flesca, Sergio
3 Grahne, Gösta
3 Ito, Minoru
3 Koubarakis, Manolis
3 Leinders, Dirk
3 Lembo, Domenico
3 Lenzerini, Maurizio
3 Lobo, Jorge
3 Loizou, George
3 Ortiz, Magdalena
3 Peleg, David
3 Reutter, Juan L.
3 Schewe, Klaus-Dieter
3 Šimkus, Mantas
3 Tannen, Val
3 Tyszkiewicz, Jerzy
3 Wolter, Frank
2 Alstrup, Stephen
2 Amano, Shun’ichi
2 Aravindan, Chandrabose
2 Basin, David A.
2 Becerra-Terón, Antonio
2 Bertossi, Leopoldo E.
2 Blass, Andreas Raphael
2 Bonatti, Piero Andrea
2 Bosc, Patrick
2 Bourhis, Pierre
2 Brijder, Robert
2 Calimeri, Francesco
2 Caseau, Yves
2 Cautis, Bogdan
2 Chen, Hubie
2 Chomicki, Jan
2 Cruz-Filipe, Luís
2 Dawar, Anuj
2 Deng, Ting
2 Ferrarotti, Flavio Antonio
2 Fontaine, Gaëlle
2 Forssell, Henrik
2 Fusco, Emanuele Guido
2 Gebser, Martin
2 Gillis, Joris J. M.
2 Gorain, Barun
2 Gorelov, S. S.
2 Grädel, Erich
2 Grosso, Alejandro L.
2 Hartmann, Sven
2 Hella, Lauri T.
2 Hill, Cameron Donnay
2 Huai, Jinpeng
2 Hull, Richard A.
2 Ianni, Giovambattista
2 Ishihara, Yasunori
2 Kaminski, Roland
2 Klaedtke, Felix
2 Knudsen, Mathias Bæk Tejs
2 Koch, Christoph T.
2 Koutris, Paraschos
2 Lakshmanan, Laks V. S.
...and 408 more Authors
all top 5

Cited in 60 Serials

43 Theoretical Computer Science
41 Journal of Computer and System Sciences
31 Annals of Mathematics and Artificial Intelligence
22 Theory of Computing Systems
16 Information and Computation
10 Acta Informatica
9 Artificial Intelligence
7 Annals of Pure and Applied Logic
7 Theory and Practice of Logic Programming
5 Information Processing Letters
5 The Journal of Symbolic Logic
5 New Generation Computing
5 Journal of Applied Non-Classical Logics
4 Algorithmica
4 The Bulletin of Symbolic Logic
4 RAIRO. Theoretical Informatics and Applications
3 Fuzzy Sets and Systems
3 Programming and Computer Software
3 Journal of Computer Science and Technology
3 Journal of Automated Reasoning
3 ACM Transactions on Computational Logic
2 Computers & Mathematics with Applications
2 ACM Transactions on Database Systems
2 Journal of Symbolic Computation
2 Distributed Computing
2 Journal of the ACM
2 Journal of Applied Logic
2 Logical Methods in Computer Science
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 Information Sciences
1 Journal of Philosophical Logic
1 Kybernetika
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Computing
1 Software. Practice & Experience
1 Studia Logica
1 Synthese
1 Transactions of the American Mathematical Society
1 International Journal of Approximate Reasoning
1 SIAM Journal on Discrete Mathematics
1 Journal of Parallel and Distributed Computing
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Applied Intelligence
1 International Journal of Computer Mathematics
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Mathematical Logic Quarterly (MLQ)
1 The Journal of Artificial Intelligence Research (JAIR)
1 Theory and Applications of Categories
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Data Mining and Knowledge Discovery
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Natural Computing
1 Central European Journal of Mathematics
1 Quantum Information Processing
1 Proceedings of the Steklov Institute of Mathematics
1 International Journal of Semantic Computing
1 Science China. Information Sciences
1 Frontiers of Computer Science

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.