Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Victor_Vianu> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Victor_Vianu abstract "Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego and since 2010 the editor-in-chief of the Journal of the ACM.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 Abiteboul–Vianu theorem (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.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.".
- Victor_Vianu wikiPageExternalLink ~vianu.
- Victor_Vianu wikiPageID "31256904".
- Victor_Vianu wikiPageRevisionID "591217106".
- Victor_Vianu hasPhotoCollection Victor_Vianu.
- Victor_Vianu name "Vianu, Victor".
- Victor_Vianu shortDescription "Computer Scientist".
- Victor_Vianu description "Computer Scientist".
- Victor_Vianu description "Computer Scientist".
- Victor_Vianu subject Category:Computer_scientists.
- Victor_Vianu subject Category:Database_researchers.
- Victor_Vianu subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Victor_Vianu subject Category:Living_people.
- Victor_Vianu subject Category:University_of_California,_San_Diego_faculty.
- Victor_Vianu subject Category:University_of_Southern_California_alumni.
- Victor_Vianu subject Category:Year_of_birth_missing_(living_people).
- Victor_Vianu type Associate109816771.
- Victor_Vianu type CausalAgent100007347.
- Victor_Vianu type Colleague109935990.
- Victor_Vianu type ComputerScientist109951070.
- Victor_Vianu type ComputerScientists.
- Victor_Vianu type ComputerUser109951274.
- Victor_Vianu type DatabaseResearchers.
- Victor_Vianu type FellowsOfTheAssociationForComputingMachinery.
- Victor_Vianu type LivingPeople.
- Victor_Vianu type LivingThing100004258.
- Victor_Vianu type Object100002684.
- Victor_Vianu type Organism100004475.
- Victor_Vianu type Peer109626238.
- Victor_Vianu type Person100007846.
- Victor_Vianu type PhysicalEntity100001930.
- Victor_Vianu type ResearchWorker110523076.
- Victor_Vianu type Scientist110560637.
- Victor_Vianu type Whole100003553.
- Victor_Vianu type YagoLegalActor.
- Victor_Vianu type YagoLegalActorGeo.
- Victor_Vianu type Agent.
- Victor_Vianu type Person.
- Victor_Vianu type Person.
- Victor_Vianu type Q215627.
- Victor_Vianu type Q5.
- Victor_Vianu type Agent.
- Victor_Vianu type NaturalPerson.
- Victor_Vianu type Thing.
- Victor_Vianu type Person.
- Victor_Vianu comment "Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego and since 2010 the editor-in-chief of the Journal of the ACM.Vianu did his graduate studies at the University of Southern California, earning his Ph.D.".
- Victor_Vianu label "Victor Vianu".
- Victor_Vianu sameAs m.0gjdfbg.
- Victor_Vianu sameAs Q7926426.
- Victor_Vianu sameAs Q7926426.
- Victor_Vianu sameAs Victor_Vianu.
- Victor_Vianu wasDerivedFrom Victor_Vianu?oldid=591217106.
- Victor_Vianu givenName "Victor".
- Victor_Vianu isPrimaryTopicOf Victor_Vianu.
- Victor_Vianu name "Vianu, Victor".
- Victor_Vianu name "Victor Vianu".
- Victor_Vianu surname "Vianu".