Uses of Class
com.semedy.reasoner.api.edb.ExtensionalDB

Packages that use ExtensionalDB

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.api.rewriter
com.semedy.reasoner.app
com.semedy.reasoner.builtin
com.semedy.reasoner.builtin.action
com.semedy.reasoner.builtin.filter
com.semedy.reasoner.builtin.relational
com.semedy.reasoner.core
com.semedy.reasoner.edb.loader
com.semedy.reasoner.edb.zdb
com.semedy.reasoner.exercises
com.semedy.reasoner.parser.oologic
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.monitor
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter
com.semedy.reasoner.rewriter.sips
com.semedy.reasoner.symboltable.index
com.semedy.reasoner.utils

Uses of ExtensionalDB in com.semedy.reasoner.api.core

Methods in com.semedy.reasoner.api.core that return ExtensionalDB

Modifier and Type	Method	Description
ExtensionalDB	Core.getExtensionalDB()	returns the extensional database (store for facts)
ExtensionalDB	DeductiveDatabase.getSnapshotEDB()	get the extensional database for snapshots

Methods in com.semedy.reasoner.api.core with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	DebuggingMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor, ExtensionalDB[] additionalEDBs, IntensionalDB[] additionalIDBs, boolean skipAnswers, Configuration config, Properties builtinConfig)	Pose a query and several rules.

Constructors in com.semedy.reasoner.api.core with parameters of type ExtensionalDB

Modifier	Constructor	Description
	MaterializationReceiver(InterruptFlag interruptFlag, Literal literal, DeductiveDatabase ddb, ExtensionalDB edb, SymbolTable symbols, SymbolTable reasoningSymbols)

Uses of ExtensionalDB in com.semedy.reasoner.api.edb

Methods in com.semedy.reasoner.api.edb with parameters of type ExtensionalDB

Modifier and Type	Method	Description
Relation	RelationFactory.createRelation(String predicate, int arity, long[] grounds, int number, ExtensionalDB edb)	create a relation.
void	Loader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)

Constructors in com.semedy.reasoner.api.edb with parameters of type ExtensionalDB

Modifier	Constructor	Description
	FileSorter(Map<String,String> indexToPredicate, Map<String,Partitioning> partitions, InvertedIndices invertedIndices, String tempDir, ExtensionalDB edb)
	LoaderProvider(ExtensionalDB edb, InvertedIndices invertedIndices, String tempDir, Configuration config)
	Partitioning(ExtensionalDB extensionalDB, String predicate, List<Literal> filters, String dir)

Uses of ExtensionalDB in com.semedy.reasoner.api.reasoning

Methods in com.semedy.reasoner.api.reasoning with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	Reasoner.compile(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean streamReasoning, boolean streamReasoningWithRetracts)	compile rules for the reasoning process
void	DefaultReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	ReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)	upfront determining all relevant edb relations
boolean	Reasoner.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	Testing the evaluation.

Uses of ExtensionalDB in com.semedy.reasoner.api.rewriter

Methods in com.semedy.reasoner.api.rewriter with parameters of type ExtensionalDB

Modifier and Type	Method	Description
IntensionalDB	RewriterProvider.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, BuiltinProvider builtins, SystemMonitor statistics, Configuration config, Properties prp)	Apply rewriters of rewriterList in that sequence which is given by their indices and indicated by their enumeration
IntensionalDB	Rewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)	applies the rewriter to a set of rules

Uses of ExtensionalDB in com.semedy.reasoner.app

Methods in com.semedy.reasoner.app with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	DebuggingMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)

Uses of ExtensionalDB in com.semedy.reasoner.builtin

Methods in com.semedy.reasoner.builtin with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	InternalBuiltin.setExtensionalDB(ExtensionalDB edb)

Uses of ExtensionalDB in com.semedy.reasoner.builtin.action

Methods in com.semedy.reasoner.builtin.action with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	Assert.setExtensionalDB(ExtensionalDB edb)
void	Retract.setExtensionalDB(ExtensionalDB edb)

Uses of ExtensionalDB in com.semedy.reasoner.builtin.filter

Methods in com.semedy.reasoner.builtin.filter with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	Seek.setExtensionalDB(ExtensionalDB edb)

Uses of ExtensionalDB in com.semedy.reasoner.builtin.relational

Methods in com.semedy.reasoner.builtin.relational with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	Builtins1.setExtensionalDB(ExtensionalDB edb)
void	Builtins2.setExtensionalDB(ExtensionalDB edb)
void	In.setExtensionalDB(ExtensionalDB edb)
void	NGram.setExtensionalDB(ExtensionalDB edb)
void	Predicates.setExtensionalDB(ExtensionalDB edb)
void	Seek3.setExtensionalDB(ExtensionalDB edb)
void	Seek4.setExtensionalDB(ExtensionalDB edb)
void	Seek5.setExtensionalDB(ExtensionalDB edb)
void	SeekAnd.setExtensionalDB(ExtensionalDB edb)

Uses of ExtensionalDB in com.semedy.reasoner.core

Methods in com.semedy.reasoner.core with parameters of type ExtensionalDB

Modifier and Type	Method	Description
IntensionalDB	QueryHandler.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, boolean withMagicSets, Properties builtinConfig)
void	JsonMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
static void	TransactionLogHandler.replayTransactionLogs(String logdir, ExtensionalDB edb, SymbolTable symbols, ExternalDataTypeProvider datatypes)	Search for corrupted predicates in logdir and Replay corresponding transaction log into edb relations.
static void	TransactionLogHandler.replayTransactionLogs(List<String> predicates, String logdir, ExtensionalDB edb, SymbolTable symbols, ExternalDataTypeProvider externalDataTypes)	Replay transaction files of predicates.
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, Properties builtinConfig)

Uses of ExtensionalDB in com.semedy.reasoner.edb.loader

Methods in com.semedy.reasoner.edb.loader with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	JsonLoader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	JsonLoader2.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	JsonLoader3.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	XMLLoader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)

Uses of ExtensionalDB in com.semedy.reasoner.edb.zdb

Constructors in com.semedy.reasoner.edb.zdb with parameters of type ExtensionalDB

Modifier	Constructor	Description
	Loader(ExtensionalDB edb, String edbDir, String workDir, String logDir, long maxtermsload, Configuration.StorageType storage, boolean compress)
	RelationLoader(ExtensionalDB edb, String edbDir, String workDir, String logDir, long maxtermsload, Configuration.StorageType storage, boolean compress)
	Schemas(ExtensionalDB edb, SymbolTable symbols)

Uses of ExtensionalDB in com.semedy.reasoner.exercises

Methods in com.semedy.reasoner.exercises with parameters of type ExtensionalDB

Modifier and Type	Method	Description
IntensionalDB	RemoveDoubleLiterals.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)

Uses of ExtensionalDB in com.semedy.reasoner.parser.oologic

Constructors in com.semedy.reasoner.parser.oologic with parameters of type ExtensionalDB

Modifier	Constructor	Description
	EDBCollectionAdapter(ExtensionalDB edb)

Uses of ExtensionalDB in com.semedy.reasoner.reasoning

Methods in com.semedy.reasoner.reasoning with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	ReasonerNotThreaded.compile(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int[] partsVector, boolean cepReasoningWithRetracts, boolean cepReasoning)
void	ReasonerNotThreaded.compile(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean streamReasoning, boolean cepReasoningWithRetracts)	Compile rules to a data flow
void	ReasonerThreadedFactsPartitioning.compile(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean cepReasoningWithRetracts, boolean cepReasoning)
void	ReasonerThreadedRulesPartitioning.compile(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean cepReasoningWithRetracts, boolean cepReasoning)
void	TestMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
boolean	ReasonerNotThreaded.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	testing the evaluation.
boolean	ReasonerThreadedFactsPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)
boolean	ReasonerThreadedRulesPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)

Uses of ExtensionalDB in com.semedy.reasoner.reasoning.monitor

Methods in com.semedy.reasoner.reasoning.monitor with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)

Uses of ExtensionalDB in com.semedy.reasoner.reasoning.processes

Methods in com.semedy.reasoner.reasoning.processes with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	RuleCompiler.attachReceiver(Receiver receiver, ExtensionalDB temporaryEDB)	attach a receiver to the ith query to process net which gets the results of the evaluation
void	RuleCompiler.attachReceiver(List<Receiver> receiver, ExtensionalDB temporaryEDB)	attach a receiver to process net which gets the results of the evaluation
void	RuleCompiler.attachToEDB(ExtensionalDB[] edbs)	attach process net to edb
void	StatisticsCollector.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	SystemReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)

Constructors in com.semedy.reasoner.reasoning.processes with parameters of type ExtensionalDB

Modifier	Constructor	Description
	BinaryPattern(InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, BuiltinProvider builtinProvider, IntensionalDB idb, SymbolTable symbolTable, boolean streamReasoning, String queryKey, Properties builtinProperties, ExtensionalDB edb, boolean topDown)
	RuleCompiler(InterruptFlag interruptflag, ReasoningMonitor monitor, SystemMonitor smonitor, IntensionalDB idb, Options options, SymbolTable symboltable, BuiltinProvider builtinFactory, ExtensionalDB[] sharedEDBs, boolean streamReasoning, boolean streamReasoningWithRetracts, SimpleSemaphore semaphorForSensors, String tempDir, boolean swapping, boolean skipAnswers, Properties builtinProperties)

Uses of ExtensionalDB in com.semedy.reasoner.rewriter

Methods in com.semedy.reasoner.rewriter with parameters of type ExtensionalDB

Modifier and Type	Method	Description
boolean	MagicSetRewriter.goDown(Literal l, BitSet boundVariables, String label, IntensionalDB oldIdb, IntensionalDB newIdb, ExtensionalDB[] edbs, SymbolTable symbols)
boolean	TopDownOrderingRewriter.goDown(Literal l, BitSet boundVariables, String label, IntensionalDB oldIdb, IntensionalDB newIdb, ExtensionalDB[] edbs, SymbolTable symbols)
IntensionalDB	ActionRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	AxiomInjector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BetweenRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpRuleSelector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	CompareRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DebuggingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DynamicOptimizer.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ElementOfRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EliminateRedundantBodiesRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EqualRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FillNullRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FilterRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FullFolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FunctionalRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	IsaRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	MagicSetRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ModuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PathRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstantsRewriter.rewrite(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstraintsRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryRuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	RewriterSkeleton.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	RuleReordering.rewrite(IntensionalDB idb, ExtensionalDB[] edbs)
IntensionalDB	SnapshotRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Splitter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	TopDownOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Unfolder.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	SeparateEDBfromIDB.separate(IntensionalDB idb, ExtensionalDB[] edbs, boolean cep)

Uses of ExtensionalDB in com.semedy.reasoner.rewriter.sips

Methods in com.semedy.reasoner.rewriter.sips with parameters of type ExtensionalDB

Modifier and Type	Method	Description
WeightedLiteral[]	EqualSIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB IDB, ExtensionalDB[] edbs, SymbolTable symbols)
WeightedLiteral[]	SIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols)	Arrange the bodies of a rule.
WeightedLiteral[]	TopDownSIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB IDB, ExtensionalDB[] edbs, SymbolTable symbols)

Uses of ExtensionalDB in com.semedy.reasoner.symboltable.index

Methods in com.semedy.reasoner.symboltable.index with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	GeoIndex.recreateIndex(SymbolTable symbols, ExtensionalDB edb)	recreate whole geo index
void	TextIndex.recreateIndex(SymbolTable symbols, ExtensionalDB edb)	recreate whole text index

Uses of ExtensionalDB in com.semedy.reasoner.utils

Methods in com.semedy.reasoner.utils with parameters of type ExtensionalDB

Modifier and Type	Method	Description
void	ReasoningMonitorTimes.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)