Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Hirofumi Katsuno

dblp:63/2552 · DBLP profile ↗
← Back
8ranked-venue papers
6as first author
0since 2021 · last 2003
0000-0003-4133-2346ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 4 · 4 first-authorTheory of computation · 3 · 2 first-authorDatabases, data management, data science and information retrieval · 2 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-authorSecurity and privacy · 1Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
4 papers
Knowledge representation and reasoning · 100%
Theoretical computer science
2 papers
Logic in computer science · 100%
Databases, data mining, and information retrieval
1 paper
Database theory · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
belief revision
0.041992
Propositional Knowledge Base Revision and Minimal Change · Artif. Intell. 1992
On the Difference between Updating a Knowledge Base and Revising It · KR 1991
A Unified View of Consequence Relation, Belief Revision and Conditional Logic · IJCAI 1991
Knowledge, reasoning and agents › Knowledge representation and reasoning › belief change
knowledge update
0.021991
On the Difference between Updating a Knowledge Base and Revising It · KR 1991
A Unified View of Propositional Knowledge Base Updates · IJCAI 1989
Logic in computer science › modal logic
conditional logic
0.011991
A Unified View of Consequence Relation, Belief Revision and Conditional Logic · IJCAI 1991
Logic in computer science
propositional logic
0.011989
A Unified View of Propositional Knowledge Base Updates · IJCAI 1989
Database theory
dependency theory
0.011984
An Extension of Conflict-Free Multivalued Dependency Sets · ACM Trans. Database Syst. 1984
Database theory › dependency theory
multivalued dependencies
0.011984
An Extension of Conflict-Free Multivalued Dependency Sets · ACM Trans. Database Syst. 1984
Database theory
normalization
0.011984
An Extension of Conflict-Free Multivalued Dependency Sets · ACM Trans. Database Syst. 1984

Methods — techniques the papers use, named apart from their topics

axiomatization · 0.0
YearPublicationVenuePosition
2003 A Fast Signature Scheme Based on New On-line Computation
Takeshi Okamoto, Hirofumi Katsuno, Eiji Okamoto
ISC2
1995 Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths
Hideki Isozaki, Hirofumi Katsuno
ICLP2
1992 Propositional Knowledge Base Revision and Minimal Change
Hirofumi Katsuno, Alberto O. Mendelzon
Artif. Intell.1
1991 A Unified View of Consequence Relation, Belief Revision and Conditional Logic
Hirofumi Katsuno, Ken Satoh
IJCAI1
1991 On the Difference between Updating a Knowledge Base and Revising It
Hirofumi Katsuno, Alberto O. Mendelzon
KR1
1989 A Unified View of Propositional Knowledge Base Updates
Hirofumi Katsuno, Alberto O. Mendelzon
IJCAI1
1984 When Do Non-Conflict-Free Multivalued Dependency Dets Appear?
Hirofumi Katsuno
Inf. Process. Lett.1
1984 An Extension of Conflict-Free Multivalued Dependency Sets
abstract
Several researchers (Beeri, Bernstein, Chiu, Fagin, Goodman, Maier, Mendelzon, Ullman, and Yannakakis) have introduced a special class of database schemes, called acyclic or tree schemes. Beeri et al. have shown that an acyclic join dependency, naturally defined by an acyclic database scheme, has several desirable properties, and that an acyclic join dependency is equivalent to a conflict-free set of multivalued dependencies. However, since their results are confined to multivalued and join dependencies, it is not clear whether we can handle functional dependencies independently of other dependencies. In the present paper we define an extension of a conflict-free set, called an extended conflict-free set , including multivalued dependencies and functional dependencies, and show the following two properties of an extended conflict-free set: There are three equivalent definitions of an extended conflict-free set. One of them is defined as a set including an acyclic joint dependency and a set of functional dependencies such that the left and right sides of each functional dependency are included in one of the attribute sets that construct the acyclic join dependency. For a relation scheme with an extended conflict-free set, there is a decomposition into third normal form with a lossless join and preservation of dependencies.
Hirofumi Katsuno
ACM Trans. Database Syst.1