| dbo:abstract |
Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego. He served as editor-in-chief of the Journal of the ACM from 2009 to 2015. Vianu did his graduate studies at the University of Southern California, earning his Ph.D. in 1983 under the supervision of Seymour Ginsburg; he joined the UCSD faculty in 1984. Vianu's book Foundations of Databases (with Serge Abiteboul and Richard Hull, Addison-Wesley, 1995) is a standard graduate textbook in database theory. In finite model theory and computational complexity theory, the (also published with Abiteboul, at the 1991 Symposium on Theory of Computing) states that polynomial time equals PSPACE if and only if fixed point logic equals partial fixed point logic. At the 2010 Symposium on Principles of Database Systems, Vianu and his co-authors Dan Suciu and Tova Milo won the Alberto O. Mendelzon Test-of-Time Award for their work ten years prior on type checking for XML transformation languages. Vianu and his co-author Luc Segoufin won a second Alberto O. Mendelzon Test-of-Time award in 2015, for their 2005 article "Views and Queries: Determinacy and Rewriting." In 2006, Vianu was elected as a Fellow of the ACM for his "contributions to database management systems". In 2013, he was elected Fellow of the AAAS (American Association for the Advancement of Science). He was elected to Academia Europaea in 2014. In his first paper recorded by DBLP (presented at MFCS, 1977), Vianu acknowledges Solomon Marcus for guidance. (en) |
| dbo:almaMater |
dbr:University_of_Southern_California |
| dbo:doctoralAdvisor |
dbr:Seymour_Ginsburg |
| dbo:knownFor |
dbr:Abiteboul–Vianu_theorem |
| dbo:wikiPageExternalLink |
http://cseweb.ucsd.edu/~vianu/ |
| dbo:wikiPageID |
31256904 (xsd:integer) |
| dbo:wikiPageLength |
5115 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1104790836 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:University_of_Southern_California dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Dan_Suciu dbr:Computational_complexity_theory dbc:Computer_scientists dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbr:Time_complexity dbr:Type_system dbr:Database_theory dbr:Least_fixed_point dbr:Database_management_system dbr:PSPACE dbr:Journal_of_the_ACM dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:University_of_California,_San_Diego_faculty dbc:University_of_Southern_California_alumni dbc:Database_researchers dbr:Symposium_on_Principles_of_Database_Systems dbr:Tova_Milo dbr:Solomon_Marcus dbr:Serge_Abiteboul dbr:Seymour_Ginsburg dbr:Symposium_on_Theory_of_Computing dbr:Digital_Bibliography_&_Library_Project dbr:Finite_model_theory dbr:XML_transformation_language dbr:Mathematical_Foundations_of_Computer_Science dbr:Abiteboul–Vianu_theorem dbr:University_of_California,_San__Diego |
| dbp:almaMater |
dbr:University_of_Southern_California |
| dbp:doctoralAdvisor |
dbr:Seymour_Ginsburg |
| dbp:knownFor |
dbr:Abiteboul–Vianu_theorem |
| dbp:name |
Victor Vianu (en) |
| dbp:wikiPageUsesTemplate |
dbt:Authority_Control dbt:Reflist dbt:Infobox_scientist |
| dcterms:subject |
dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Computer_scientists dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:University_of_California,_San_Diego_faculty dbc:University_of_Southern_California_alumni dbc:Database_researchers |
| gold:hypernym |
dbr:Scientist |
| schema:sameAs |
http://viaf.org/viaf/19758632 |
| rdf:type |
owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatComputerScientists schema:Person yago:WikicatLivingPeople wikidata:Q901 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:ResearchWorker110523076 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatDatabaseResearchers yago:WikicatFellowsOfTheAssociationForComputingMachinery |
| rdfs:comment |
Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego. He served as editor-in-chief of the Journal of the ACM from 2009 to 2015. Vianu did his graduate studies at the University of Southern California, earning his Ph.D. in 1983 under the supervision of Seymour Ginsburg; he joined the UCSD faculty in 1984. In 2006, Vianu was elected as a Fellow of the ACM for his "contributions to database management systems". In his first paper recorded by DBLP (presented at MFCS, 1977), Vianu acknowledges Solomon Marcus for guidance. (en) |
| rdfs:label |
Victor Vianu (en) |
| owl:sameAs |
freebase:Victor Vianu yago-res:Victor Vianu http://viaf.org/viaf/19758632 https://dblp.org/pid/v/VictorVianu https://orcid.org/0000-0002-0671-4456 wikidata:Victor Vianu https://global.dbpedia.org/id/4xvXf |
| prov:wasDerivedFrom |
wikipedia-en:Victor_Vianu?oldid=1104790836&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Victor_Vianu |
| foaf:name |
Victor Vianu (en) |
| is dbo:wikiPageDisambiguates of |
dbr:Vianu |
| is dbo:wikiPageRedirects of |
dbr:Vianu,_Victor dbr:Victor_D._Vianu |
| is dbo:wikiPageWikiLink of |
dbr:Vianu,_Victor dbr:List_of_people_by_Erdős_number dbr:Dan_Suciu dbr:Equality-generating_dependency dbr:Embedded_dependency dbr:Chase_(algorithm) dbr:Tova_Milo dbr:Search_engine_indexing dbr:Vianu dbr:Finite_model_theory dbr:Tuple-generating_dependency dbr:Victor_D._Vianu |
| is foaf:primaryTopic of |
wikipedia-en:Victor_Vianu |
