What are logical and path queries

Posted by NomeN on Stack Overflow See other posts from Stack Overflow or by NomeN
Published on 2010-03-13T00:45:26Z Indexed on 2010/03/13 0:47 UTC
Read the original article Hit count: 355

Filed under:

query

I'm reading a paper which mentions that a language for refactoring has three specific requirements.

functional features (like ML)
logical queries (like Datalog)
path queries (like Datalog)

I know what they mean by functional features, but I'm not totally clear on the latter two and can't find a clear explanation either. Although I have a good idea after what I could find on the subjects, I need to be sure so here goes:

Could the SO-community please clearly explain to me what logical queries and path queries are?

Or at the very least what the people from the paper meant?

Related posts about datalog

What are logical and path queries

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm reading a paper which mentions that a language for refactoring has three specific requirements. functional features (like ML) logical queries (like Datalog) path queries (like Datalog) I know what they mean by functional features, but I'm not totally clear on the latter two and can't find… >>> More
How should I go about implementing a points-to analysis in Maude?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm going to implement a points-to analysis algorithm. I'd like to implement this analysis mainly based on the algorithm by Whaley and Lam. Whaley and Lam use a BDD based implementation of Datalog to represent and compute the points-to analysis relations. The following lists some of the relations… >>> More
binary file formats: need for error correction?

as seen on Stack Overflow - Search for 'Stack Overflow'
I need to serialize some data in a binary format for efficiency (datalog where 10-100MB files are typical), and I'm working out the formatting details. I'm wondering if realistically I need to worry about file corruption / error correction / etc. What are circumstances where file corruption can… >>> More
log4net: log information into different log files

as seen on Stack Overflow - Search for 'Stack Overflow'
I have the following configurations in my web.config file, but how can I log the information into data.txt and general.txt separately in C#? Could anyone provide some sample code for me? <appender name="GeneralLog" type="log4net.Appender.RollingFileAppender"> <file value="App_Data/Logs/general… >>> More

Developer IT