Class information for:
Level 1: FINITE MODEL THEORY//DEPENDENCE LOGIC//DESCRIPTIVE COMPLEXITY

Basic class information

ID Publications Average number
of references
Avg. shr. active
ref. in WoS
12084 869 23.2 27%



Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)



ID, lev.
above
Publications Label for level above
472 15064 ACM TRANSACTIONS ON DATABASE SYSTEMS//INFORMATION SYSTEMS//DATA & KNOWLEDGE ENGINEERING

Terms with highest relevance score



Rank Term Type of term Relevance score
(tfidf)
Class's shr.
of term's tot.
occurrences
Shr. of publ.
in class containing
term
Num. of
publ. in
class
1 FINITE MODEL THEORY Author keyword 38 52% 6% 52
2 DEPENDENCE LOGIC Author keyword 32 85% 2% 17
3 DESCRIPTIVE COMPLEXITY Author keyword 24 48% 4% 38
4 INDEPENDENCE FRIENDLY LOGIC Author keyword 19 70% 2% 16
5 CONSTRAINT DATABASES Author keyword 14 64% 2% 14
6 HENKIN QUANTIFIERS Author keyword 12 86% 1% 6
7 LINDSTROM QUANTIFIERS Author keyword 9 83% 1% 5
8 TEAM SEMANTICS Author keyword 8 100% 1% 5
9 EHRENFEUCHT FRAISSE GAMES Author keyword 6 41% 1% 12
10 EXISTENTIAL SECOND ORDER LOGIC Author keyword 6 71% 1% 5

Web of Science journal categories

Author Key Words



Rank Web of Science journal category Relevance score
(tfidf)
Class's shr.
of term's tot.
occurrences
Shr. of publ.
in class containing
term
Num. of
publ. in
class
LCSH search Wikipedia search
1 FINITE MODEL THEORY 38 52% 6% 52 Search FINITE+MODEL+THEORY Search FINITE+MODEL+THEORY
2 DEPENDENCE LOGIC 32 85% 2% 17 Search DEPENDENCE+LOGIC Search DEPENDENCE+LOGIC
3 DESCRIPTIVE COMPLEXITY 24 48% 4% 38 Search DESCRIPTIVE+COMPLEXITY Search DESCRIPTIVE+COMPLEXITY
4 INDEPENDENCE FRIENDLY LOGIC 19 70% 2% 16 Search INDEPENDENCE+FRIENDLY+LOGIC Search INDEPENDENCE+FRIENDLY+LOGIC
5 CONSTRAINT DATABASES 14 64% 2% 14 Search CONSTRAINT+DATABASES Search CONSTRAINT+DATABASES
6 HENKIN QUANTIFIERS 12 86% 1% 6 Search HENKIN+QUANTIFIERS Search HENKIN+QUANTIFIERS
7 LINDSTROM QUANTIFIERS 9 83% 1% 5 Search LINDSTROM+QUANTIFIERS Search LINDSTROM+QUANTIFIERS
8 TEAM SEMANTICS 8 100% 1% 5 Search TEAM+SEMANTICS Search TEAM+SEMANTICS
9 EHRENFEUCHT FRAISSE GAMES 6 41% 1% 12 Search EHRENFEUCHT+FRAISSE+GAMES Search EHRENFEUCHT+FRAISSE+GAMES
10 EXISTENTIAL SECOND ORDER LOGIC 6 71% 1% 5 Search EXISTENTIAL+SECOND+ORDER+LOGIC Search EXISTENTIAL+SECOND+ORDER+LOGIC

Key Words Plus



Rank Web of Science journal category Relevance score
(tfidf)
Class's shr.
of term's tot.
occurrences
Shr. of publ.
in class containing
term
Num. of
publ. in
class
1 RELATIONAL QUERIES 41 56% 6% 50
2 FINITE STRUCTURES 29 65% 3% 28
3 0 1 LAWS 21 78% 2% 14
4 MONADIC NP 21 85% 1% 11
5 CONSTRAINT QUERY LANGUAGES 20 100% 1% 9
6 QUERY LANGUAGES 10 44% 2% 18
7 COLLECTION TYPES 9 67% 1% 8
8 ASYMPTOTIC COMBINATORICS 8 62% 1% 8
9 RELATIONAL CALCULUS 6 48% 1% 10
10 POLYNOMIAL TIME COMPUTABILITY 4 67% 0% 4

Journals

Reviews



Title Publ. year Cit. Active
references
% act. ref.
to same field
Survey of graph database models 2008 52 36 25%
Constraint databases: A survey 1998 8 24 33%
A natural axiomatization of computability and proof of Church's Thesis 2008 9 20 15%
Automated, adaptive guidance for K-12 education 2015 0 40 3%

Address terms



Rank Address term Relevance score
(tfidf)
Class's shr.
of term's tot.
occurrences
Shr. of publ.
in class containing
term
Num. of
publ. in
class
1 MATH GRUNDLAGEN INFORMAT 5 43% 1.0% 9
2 LEHRGEBIET MATH GRUNDLAGEN INFORMAT 3 60% 0.3% 3
3 WNI 2 13% 2.0% 17
4 THEORET COMP SCI GRP 1 23% 0.6% 5
5 NAT WETEN PEN WISKUNDE INFORMAT 1 33% 0.2% 2
6 BIOINFORMAT NETWORK 1 50% 0.1% 1
7 CHAIR INFORMAT 1 50% 0.1% 1
8 COMBINATOR OPTIMISAT 1 50% 0.1% 1
9 DIPARTIMENTO INFORMAT TELECOMMUNICAZ 1 50% 0.1% 1
10 DYNAM INTELLIGENT SYST 1 50% 0.1% 1

Related classes at same level (level 1)



Rank Relatedness score Related classes
1 0.0000130090 CERTAIN ANSWERS//SCHEMA MAPPINGS//RECURSIVE QUERY EVALUATION
2 0.0000128064 RESOURCE BOUNDED MEASURE//COMPUTATIONAL COMPLEXITY//DISJOINT NP PAIRS
3 0.0000110142 OBJECT ORIENTED DATABASES//FUNCTIONAL DATA MODEL//OBJECT ALGEBRA
4 0.0000100130 DATA WORDS//INFINITE ALPHABETS//REGISTER AUTOMATA
5 0.0000087383 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
6 0.0000082654 ABT PROGRAMMIERMETHOD//ACKERMANN FUNCTIONS//COMPUTATION ON ABSTRACT DATA TYPES
7 0.0000077422 AUTOMATIC STRUCTURES//BOREL HIERARCHY//INFINITARY RATIONAL RELATIONS
8 0.0000075866 RANDOM MAPPINGS//EXCHANGEABLE IN DEGREES//QUASI BINOMIAL DISTRIBUTIONS
9 0.0000070984 XPATH//XML QUERY PROCESSING//XML FILTERING
10 0.0000069373 FUNCTIONAL DEPENDENCY//FUNCTIONAL DEPENDENCIES//ORTHOGONAL DOUBLE COVER